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...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of computer science and technology (La Plata) Vol. 1; no. 2; pp. 15 - 15 p.
Main Authors:	Cobo, María Laura, Augusto, Juan Carlos
Format:	Journal Article
Language:	English
Published:	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
Subjects:	Algorithms Foundations Interpreters Language Logic programming Programming languages Temporal logic temporal logic programming
ISSN:	1666-6046, 1666-6038
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!