Logical foundations and implementation of an extension of temporal logic

The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas. This fact has made evident the need of tools to handle this kind of imformation. As a reflection of this relevance many...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Journal of computer science and technology (La Plata) Jg. 1; H. 2; S. 15 - 15 p.
Hauptverfasser:	Cobo, María Laura, Augusto, Juan Carlos
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	La Plata Universidad Nacional de la Plata, Journal of Computer Science and Technology 01.03.2000 Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata
Schlagworte:	Algorithms Foundations Interpreters Language Logic programming Programming languages Temporal logic temporal logic programming
ISSN:	1666-6046, 1666-6038
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!