`Travelled to:`

1 × France

1 × Israel

1 × Italy

1 × Portugal

2 × United Kingdom

4 × USA

`Collaborated with:`

L.Caires J.Jacquet V.Pedro M.Mamede A.Porto F.C.N.Pereira ∅ L.M.Pereira J.C.Cunha J.N.Aparício

`Talks about:`

logic (8) program (6) contextu (3) concurr (3) claus (3) communic (2) semant (2) proof (2) sub (2) transform (1)

## Person: Luís Monteiro

### DBLP: Monteiro:Lu=iacute=s

### Facilitated 1 volumes:

### Contributed to:

### Wrote 12 papers:

- ESOP-1998-CairesM #concurrent #execution #logic #specification
- Verifiable and Executable Logic Specifications of Concurrent Objects in L
_{pi}(LC, LM), pp. 42–56. - ALP-1997-CairesM #proving #semantics
- Proof Net Semantics of Proof Search Computation (LC, LM), pp. 194–208.
- ILPS-1995-PedroM #approach #logic programming #verification
- An Approach to Verification in Contextual Logic Programming (VP, LM), p. 634.
- ICLP-1994-CairesM #higher-order #logic programming #polymorphism #unification
- Higher-Order Polymorphic Unification for Logic Programming (LC, LM), pp. 419–433.
- ICLP-1994-JacquetM #named
- PP-clauses: A Means for Handling Resources (JMJ, LM), p. 743.
- JICSLP-1992-JacquetM #communication #logic programming #towards
- Communicating Clauses: Towards Synchronous Communication in Contextual Logic Programming (JMJ, LM), pp. 98–112.
- JICSLP-1992-MamedeM #logic programming #reasoning #taxonomy
- A Contraint Logic Programming Scheme for Taxonomic Reasoning (MM, LM), pp. 255–269.
- CLP-1990-MonteiroP90 #inheritance #logic programming
- A Transformational View of Inheritance in Logic Programming (LM, AP), pp. 481–494.
- NACLP-1990-JacquetM #comparative #logic programming #parallel #programming language #semantics
- Comparative Semantics for a Parallel Contextual Logic Programming Language (JMJ, LM), pp. 195–214.
- ICLP-1986-PereiraMCA86 #backtracking #distributed #prolog
- Delta Prolog: A Distributed Backtracking Extension with Events (LMP, LM, JCC, JNA), pp. 69–83.
- LICS-1986-MonteiroP #concurrent #formal method
- A Sheaf-Theoretic Model of Concurrency (LM, FCNP), pp. 66–76.
- ILPC-1982-Monteiro82 #concurrent #horn clause #logic #specification
- A Horn Clause-like Logic for Specifying Concurrency (LM), pp. 1–8.