✦ LIBER ✦

Monadic logical definability of nondeterministic linear time

✍ Scribed by É. Grandjean; F. Olive

Publisher: Springer
Year: 1998
Tongue: English
Weight: 602 KB
Volume: 7
Category: Article
ISSN: 1016-3328
DOI: 10.1007/pl00001594

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Querying Linguistic Treebanks with Monad

Querying Linguistic Treebanks with Monadic Second-Order Logic in Linear Time

✍ Stephan Kepser 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 117 KB

A regular characterization of graph lang

A regular characterization of graph languages definable in monadic second-order logic

✍ Joost Engelfriet 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 867 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

Completions of implicitly defined linear

Completions of implicitly defined linear time varying vector fields

✍ Irfan Okay; Stephen L. Campbell; Peter Kunkel 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 220 KB

Synthesis of adaptive linear-time-invari

Synthesis of adaptive linear-time-invariant controllers by fuzzy logic controllers

✍ O. Yaniv; M. Schneider 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Unifying proof methodologies of duration

Unifying proof methodologies of duration calculus and timed linear temporal logic

✍ Zhiming Liu; Anders P. Ravn; Xiaoshan Li 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 152 KB