𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Tools for support of automata-based programming

✍ Scribed by V. S. Gurov; M. A. Mazin; A. S. Narvsky; A. A. Shalyto


Book ID
110190883
Publisher
SP MAIK Nauka/Interperiodica
Year
2007
Tongue
English
Weight
371 KB
Volume
33
Category
Article
ISSN
0361-7688

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Program schemata vs. automata for decida
✍ N.V. Shilov πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 922 KB

A new technique for decidability of program logics is introduced. This technique is applied to the most expressive propositional program logic -mu-calculus. 0. Introduction We would like to present program scheme technique (PST) for decidability of program and polymodal propositional logics. This te