✦ LIBER ✦

A simple proof of Bernstein-Lunts equivalence

✍ Scribed by Pavle Pandžić

Publisher: Springer
Year: 2005
Tongue: English
Weight: 173 KB
Volume: 118
Category: Article
ISSN: 0025-2611
DOI: 10.1007/s00229-005-0580-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Proof of a conjecture of Bernstein

✍ Marko Tadić 📂 Article 📅 1985 🏛 Springer 🌐 English ⚖ 308 KB

A new and simple proof of the equivalenc

A new and simple proof of the equivalence theorem for behaviors

✍ Jan Willem Polderman 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 60 KB

behavior are related through a left unimodular transformation. We present a new and extremely simple and insightful proof for this well-established fact.

A proof-theoretic characterization of ob

A proof-theoretic characterization of observational equivalence

✍ Colin Stirling 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 932 KB

A simple proof on the decidability of eq

A simple proof on the decidability of equivalence between recursive and nonrecursive Datalog programs

✍ H. Leung; D. Ranjan; H.J. Hernández; D. Tang; A. González 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 308 KB

A simple proof of a simple consensus alg

A simple proof of a simple consensus algorithm

✍ Jayadev Misra 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 641 KB

A direct proof of the equivalence of fre

A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars

✍ Wojciech Zielonka 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 873 KB