Výsledky vyhľadávania - "temporal logic programming language"

Time-extraction for temporal logic-logic programming and local process time: Time-extraction for temporal logic -- logic programming and local process time

Autori: Takashi Hattori

Zdroj: Journal of Computer and System Sciences. 49:40-56

Predmety: Logic in computer science, Computer Networks and Communications, Applied Mathematics, Theory of programming languages, Semantics in the theory of computing, time extraction, 0102 computer and information sciences, 02 engineering and technology, Logic programming, modal logics, 01 natural sciences, Theoretical Computer Science, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, modular semantics, temporal logic programming language, Modal logic (including the logic of norms)

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/639125
https://doi.org/10.1016/s0022-0000(05)80085-6
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/100508/1/0655-10.pdf
https://www.sciencedirect.com/science/article/pii/S0022000005800856
http://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/100508/1/0655-10.pdf
https://repository.kulib.kyoto-u.ac.jp/dspace/handle/2433/100508
https://keio.pure.elsevier.com/en/publications/time-extraction-for-temporal-logic-logic-programming-and-local-pr
https://dblp.uni-trier.de/db/journals/jcss/jcss49.html#Hattori94