✦ LIBER ✦

Involutions defined by monadic terms

✍ Scribed by Renato A. Lewin

Book ID: 104877381
Publisher: Springer Netherlands
Year: 1988
Tongue: English
Weight: 106 KB
Volume: 47
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00671567

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Monads Defined by Involution-Preserving

Monads Defined by Involution-Preserving Adjunctions

✍ Paul H. Palmquist 📂 Article 📅 1975 🏛 American Mathematical Society 🌐 English ⚖ 254 KB

Explicit representation of terms defined

Explicit representation of terms defined by counter examples

✍ J. -L. Lassez; K. Marriott 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 793 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

A class of overdetermined systems define

A class of overdetermined systems defined by tableaux: Involutiveness and the Cauchy problem

✍ Emilio Musso; Lorenzo Nicolodi 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 299 KB

On Defining the Term "Fact."by Morris T.

On Defining the Term "Fact."by Morris T. Keeton

✍ Review by: Everett J. Nelson 📂 Article 📅 1942 🏛 Association for Symbolic Logic 🌐 English ⚖ 326 KB

Linearization of logical functions defin

Linearization of logical functions defined by a set of orthogonal terms. I. Theoretical aspects

✍ O. Keren; I. Levin; R. Stankovič 📂 Article 📅 2011 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 175 KB