✦ LIBER ✦

Decidable Discrete Linear Orders

✍ Scribed by M. Moses

Book ID: 118027044
Publisher: Association for Symbolic Logic
Year: 1988
Tongue: English
Weight: 231 KB
Volume: 53
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2274522

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cones with Faces, M-Discrete Ordered Lin

Cones with Faces, M-Discrete Ordered Linear Spaces and Representations of Discrete Linear Lattices

✍ Schmidt, G. C. 📂 Article 📅 1977 🏛 Oxford University Press 🌐 English ⚖ 390 KB

First–Order Representations of Discrete

First–Order Representations of Discrete Linear Multidimensional Systems

✍ Eva Zerz 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 117 KB

Efficient linear orders

✍ A. G. Pinus 📂 Article 📅 1976 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 608 KB

Generalized discrete timed automata: dec

Generalized discrete timed automata: decidable approximations for safety verification

✍ Zhe Dang; Oscar H. Ibarra; Richard A. Kemmerer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 175 KB

We consider generalized discrete timed automata with general linear relations over clocks and parameterized constants as clock constraints and with parameterized durations. We look at three approximation techniques (i.e., the r-reset-bounded approximation, the B-bounded approximation, and the B; r -

Extending partial orders to dense linear

Extending partial orders to dense linear orders

✍ Theodore A. Slaman; W.Hugh Woodin 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 652 KB

Minimal Realization of Completely Decida

Minimal Realization of Completely Decidable Linear Differential Equations

✍ I.V. Gaishun; V.V. Goryachkin 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 132 KB