| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach |
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum.  |
WADT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Elisabete Freire, Luís Monteiro |
Defining Behaviours by Quasi-finality. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro |
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (eds.) |
Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings |
ICALP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Luís Monteiro |
A Noninterleaving Model of Concurrency Based on Transition Systems with Spatial Structure. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro |
Observation systems. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro, António Porto |
Entailment-Based Actions for Coordination. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro |
Semantic domains based on sets with families of equivalences. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luís Monteiro |
Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Caires, Luís Monteiro |
Proof Net Semantics of Proof Search Computation. |
ALP/HOA |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. |
Comput. Lang. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Baptista, Luís Monteiro |
Handling Calls to Missing Predicates. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Vasco Pedro, Luís Monteiro |
Modules and Specifications. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
| 1 | Vasco Pedro, Luís Monteiro |
Modules and Specifications. |
JELIA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Aida Vitória, Margarida Mamede, Luís Monteiro |
The Retrieval Problem in a Concept Language with Number Restrictions. |
EPIA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasco Pedro, Luís Monteiro |
An Approach to Verification in Contextual Logic Programming. |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Luís Caires, Luís Monteiro |
Higher-Order Polymorphic Unification for Logic Programming. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
Towards Resource Handling in Logic Programming: the PPL Framework and its Semantics. |
ICLP Workshop: Process-Based Parallel Logic Programming |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
PP-clauses: A Means for Handling Resources. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
Towards Resource Handling in Logic Programming: The PPL Framework and its Semantics. |
JELIA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarida Mamede, Luís Monteiro |
Towards Complete Answers in Concept Languages. |
EPIA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarida Mamede, Luís Monteiro |
A Contraint Logic Programming Scheme for Taxonomic Reasoning. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming. |
JICSLP |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
Extended Horn Clauses: The Framework and Some Semantics. |
CONCUR |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarida Mamede, Luís Monteiro |
A Constraint-Based Language for Querying Taxonomic Systems. |
EPIA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro, António Porto |
Syntactic and Semantic Inheritance in Logic Programming. |
Declarative Programming |
1991 |
DBLP BibTeX RDF |
|
| 1 | Luís Monteiro, António Porto |
A Transformational View of Inheritance in Logic Programming. |
ICLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Jean-Marie Jacquet, Luís Monteiro |
Comparative Semantics for a Parallel Contextual Logic Programming Language. |
NACLP |
1990 |
DBLP BibTeX RDF |
|
| 1 | Luís Monteiro, António Porto |
Contextual Logic Programming. |
ICLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Luís Moniz Pereira, Luís Monteiro, José C. Cunha, Joaquim Nunes Aparício |
Delta Prolog: A Distributed Backtracking Extension with Events. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro, Fernando C. N. Pereira |
A Sheaf-Theoretic Model of Concurrency |
LICS |
1986 |
DBLP BibTeX RDF |
|
| 1 | Luís Monteiro |
A Proposal for Distributed Programming in Logic. |
Implementations of Prolog |
1984 |
DBLP BibTeX RDF |
|
| 1 | Luís Monteiro |
A Horn Clause-like Logic for Specifying Concurrency. |
ICLP |
1982 |
DBLP BibTeX RDF |
|
| 1 | Luís Monteiro |
An Extension to Horn Clause Logic Allowing the Definition of Concurrent Processes. |
ICFPC |
1981 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")