Вы здесь

Monteiro L.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Verifiable and Executable Logic Specifications of Concurrent Objects in L 1998 Caires L., Monteiro L. Lecture Notes in Computer Science 17.04.1998
СТ Higher-order Polymorphic Unification for Logic Programming 1994 Caries L., Monteiro L. Logic Programming: Proc. of the Eleventh Intern. Conf. 01.02.1996
СТ A Constraint Logic Programming Scheme for Taxonomic Reasoning 1992 Mamede M., Monteiro L. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ Communicating Clauses: towards Synchronous Communication in Contextual Logic Programming 1992 Jacquet J. -M., Monteiro L. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 15.12.1994
СТ Comparative Semantics for a Parallel Contextual Logic Programming Language 1990 Jacquet J. -M., Monteiro L. Logic Programming: Proc./1990 North American Conf. 24.11.1994
СТ Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics 1994 Jacquet J. -M., Monteiro L. Lecture Notes in Artificial Intelligence 28.10.1994
СТ Towards Complete Answers in Concept Languages 1993 Mamede M., Monteiro L. Lecture Notes in Artificial Intelligence 13.11.1993

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Automata, Languages and Programming: Proc./32nd International Colloquium, ICALP 2005. Lisbon, Portugal, July 2005 2005 Lecture Notes in Computer Science
  1. Caires L.
  2. Italiano G. F.
  3. Monteiro L.
  4. Palamidessi C.
20.11.2005