𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Efficient linear orders
✍ A. G. Pinus πŸ“‚ Article πŸ“… 1976 πŸ› SP MAIK Nauka/Interperiodica 🌐 English βš– 608 KB
Generalized discrete timed automata: dec
✍ 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 -