𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Decidability results in First–Order Hybrid Petri Nets

✍ Scribed by Fabio Balduzzi; Angela Di Febbraro; Alessandro Giua; Carla Seatzu

Book ID
110263354
Publisher
Springer
Year
2001
Tongue
English
Weight
140 KB
Volume
11
Category
Article
ISSN
0924-6703

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability and Definability Results Co
Decidability and Definability Results Concerning Well-Orderings and Some Extensions of First Order Logic
✍ Bogdan Stanislaw Chlebus 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

DECIDABILITY AND DEFINABILITY RESULTS CONCERNING WELL-ORDERINGS AND SOME EXTENSIONS OF FIRST ORDER LOGIC by BOGDAN STANISLAW CHLEBUS in Warsaw (Poland) ## 1. Introdiirtion Let L\* denote a countable extension of the first order language L. I n this paper 1 ) definability of the class of well-order