๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Monads Defined by Involution-Preserving Adjunctions

โœ Scribed by Paul H. Palmquist

Book ID
125682769
Publisher
American Mathematical Society
Year
1975
Tongue
English
Weight
254 KB
Volume
213
Category
Article
ISSN
0002-9947

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Involutions defined by monadic terms
Involutions defined by monadic terms
โœ Renato A. Lewin ๐Ÿ“‚ Article ๐Ÿ“… 1988 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 106 KB
A Comparison of Tree Transductions Defin
A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars
โœ Roderick Bloem; Joost Engelfriet ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 547 KB

Two well-known formalisms for the specification and computation of tree transductions are compared: the mso graph transducer and the attributed tree transducer with look-ahead, respectively. The mso graph transducer, restricted to trees, uses monadic second order logic to define the output tree in t