Media type: E-Article Title: Time-extraction for temporal logic-logic programming and local process time Contributor: Hattori, Takashi Published: Elsevier BV, 1994 Published in: Journal of Computer and System Sciences, 49 (1994) 1, Seite 40-56 Language: English DOI: 10.1016/s0022-0000(05)80085-6 ISSN: 0022-0000 Keywords: Applied Mathematics ; Computational Theory and Mathematics ; Computer Networks and Communications ; Theoretical Computer Science Origination: Footnote: Access State: Open Access