✦ LIBER ✦

Application of temporal logic to tax regulations

✍ Scribed by I.S. Torsun; K.J. Manning

Publisher: Elsevier Science
Year: 1991
Tongue: English
Weight: 997 KB
Volume: 3
Category: Article
ISSN: 0957-4174
DOI: 10.1016/0957-4174(91)90089-w

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timed tree automata with an application

Timed tree automata with an application to temporal logic

✍ Salvatore La Torre; Margherita Napoli 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 210 KB

Model Theoretic Syntax and Parsing: An A

Model Theoretic Syntax and Parsing: An Application to Temporal Logic

✍ Adi Palm 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 456 KB

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

Temporal Logics of Knowledge and their A

Temporal Logics of Knowledge and their Applications in Security

✍ Clare Dixon; Mari-Carmen Fernández Gago; Michael Fisher; Wiebe van der Hoek 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 340 KB

Improving Translation of Live Sequence C

Improving Translation of Live Sequence Charts to Temporal Logic

✍ Rahul Kumar; Eric G. Mercer; Annette Bunker 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 336 KB

An application of fuzzy logic reasoning

An application of fuzzy logic reasoning for GIS temporal modeling of dynamic processes

✍ Suzana Dragicevic; Danielle J. Marceau 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 717 KB

The analysis and modeling of dynamic processes require the consideration of both spatial and temporal attributes of data and their integration into a GIS database. However, current GIS raster databases have severe limitations related to the temporal component of data. Data are generally stored throu