✦ LIBER ✦

The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems

✍ Scribed by Sergei Vorobyov

Book ID: 112252726
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 203 KB
Volume: 175
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2002.3151

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The first-order theory of linear one-ste

The first-order theory of linear one-step rewriting is undecidable

✍ Ralf Treinen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 758 KB

The theory of one-step rewriting for a given rewrite system R and signature C is the firstorder theory of the following structure: its universe consists of all C-ground terms, and its only predicate is the relation "x rewrites to y in one step by R". The structure contains no function symbols and no

Decidable First-Order Theories of One-St

Decidable First-Order Theories of One-Step Rewriting in Trace Monoids

✍ Dietrich Kuske; Markus Lohrey 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 513 KB

Classification of lossless first-order o

Classification of lossless first-order optical systems and the linear canonical transformation

✍ Bastiaans, Martin J.; Alieva, Tatiana 📂 Article 📅 2007 🏛 Optical Society of America 🌐 English ⚖ 157 KB

Undecidability of First Order Sentences

Undecidability of First Order Sentences in the Theory of Free Groupoidsby S. Jaśkowski

✍ Review by: W. Ackermann 📂 Article 📅 1958 🏛 Association for Symbolic Logic 🌐 English ⚖ 116 KB

On Systems of Linear Differential Equati

On Systems of Linear Differential Equations of the First Order

✍ Maxime Bôcher 📂 Article 📅 1902 🏛 John Hopkins University Press 🌐 English ⚖ 741 KB

On the Theory of the Solution of a Syste

On the Theory of the Solution of a System of Simultaneous Non-Linear Partial Differential Equations of the First Order.

✍ Nanson, E. J. 📂 Article 📅 1875 🏛 The Royal Society ⚖ 83 KB