| 2005 |
|---|
| 6 | EE | Mathieu Jaume,
Charles Morisset:
Formalisation and implementation of Access control models.
ITCC (1) 2005: 703-708 |
| 2002 |
|---|
| 5 | EE | Mathieu Jaume:
On Greatest Fixpoint Semantics of Logic Programming.
J. Log. Comput. 12(2): 321-342 (2002) |
| 2000 |
|---|
| 4 | EE | Mathieu Jaume:
Logic Programming and Co-inductive Definitions.
CSL 2000: 343-355 |
| 3 | | Mathieu Jaume:
Preuves infinies en Programmation logique.
JFPLC 2000: 33-48 |
| 1999 |
|---|
| 2 | | Mathieu Jaume:
A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions.
J. Autom. Reasoning 23(3-4): 347-371 (1999) |
| 1997 |
|---|
| 1 | | Mathieu Jaume:
Formalisation de la SLD-résolution dans le calcul des constructions inductives.
JFPLC 1997: 277- |
