𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Timed tree automata with an application to temporal logic

✍ Scribed by Salvatore La Torre; Margherita Napoli

Publisher
Springer-Verlag
Year
2001
Tongue
English
Weight
210 KB
Volume
38
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Application of formal methods to biologi
Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic
✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 310 KB

Based on the discrete definition of biological regulatory networks developed by ReneΒ΄Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a s

Ultraproducts of Z with an Application t
Ultraproducts of Z with an Application to Many-Valued Logics
✍ Joan Gispert i BrasΓ³; Daniele Mundici; Antoni Torrens Torrell πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 140 KB

Up to categorical equivalence, abelian lattice-ordered groups with strong unit coincide with Chang's MV-algebrasᎏthe Lindenbaum algebras of the infinite-valued Łukasiewicz calculus. While the property of being a strong unit is not definable even in first-order logic, MV-algebras form an equational c