• About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
Login
  • About Us
  • Research
  • People
  • Publications
    • Articles
    • Books
    • Books Chapters
    • Editorials
    • In Proceedings
  • Projects
  • Activities
    • Graduations
    • Seminars
    • Distinguished Lectures
  • Society
NOVA LINCS

Luís Monteiro

People

Publications Projects Graduations Prototypes Seminars

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Editorials

Published in 01-07-2005

Authors

Luis Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung,

A noninterleaving model of concurrency based on transition systems with spatial structure

Article

Published in 01/01/2004

Authors

Luís Monteiro,

Observation systems

Article

Published in 01/01/2000

Authors

Luís Monteiro,

Semantic domains based on sets with families of equivalences

Article

Published in 01/01/1998

Authors

Luís Monteiro,

Entailment-Based Actions for Coordination

Article

Published in 01/01/1998

Authors

Luís Monteiro,

Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics

Article

Published in 01/01/1996

Authors

Jean-Marie Jacquet, Luís Monteiro,

A language for contextual logic programming

Book Chapter

Published in 01/01/1993

Authors

Luís Monteiro,

Syntactic and semantic inheritance in logic programming

Book Chapter

Published in 01/01/1992

Authors

Luís Monteiro,

A proposal for distributed programming in logic

Book Chapter

Published in 01/01/1984

Authors

Luís Monteiro,
  • Home
  • Events
  • About Us
  • News
  • People
  • Society

follow us

NOVA School of Science & Technology
Department of Computer Science
Campus de Caparica
2829-516 Caparica
Portugal

nova-lincs.sec@fct.unl.pt
direct +351 212948536
central +351 212948300

NOVA LINCS receives financial support from FCT under the funding:

UIDB/04516/2020 UIDP/04516/2020