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

Celý popis

Podrobná bibliografie

Vydáno v:	Journal of computer science and technology (La Plata) Ročník 1; číslo 2; s. 15 - 15 p.
Hlavní autoři:	Cobo, María Laura, Augusto, Juan Carlos
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	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
Témata:	Algorithms Foundations Interpreters Language Logic programming Programming languages Temporal logic temporal logic programming
ISSN:	1666-6046, 1666-6038
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!