| 1996 |
|---|
| 8 | | Michel Billaud:
Fatal Errors in Conditional Expressions (Extended Abstract).
ICALP 1996: 146-157 |
| 1992 |
|---|
| 7 | | Michel Billaud:
The ANIGRAF System.
STACS 1992: 603-604 |
| 6 | | Michel Billaud:
Axiomatizations of Backtracking.
STACS 1992: 71-82 |
| 1991 |
|---|
| 5 | | Michel Billaud:
Axiomatizations of Backtracking.
JTASPEFT/WSA 1991: 111-116 |
| 4 | | Michel Billaud:
ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities.
RTA 1991: 437-438 |
| 1990 |
|---|
| 3 | | Michel Billaud:
Simple Operational and Denotational Semantics for Prolog with Cut.
Theor. Comput. Sci. 71(2): 193-208 (1990) |
| 1989 |
|---|
| 2 | | Michel Billaud,
Pierre Lafon,
Yves Métivier,
Eric Sopena:
Graph Rewriting Systems with Priorities.
WG 1989: 94-106 |
| 1985 |
|---|
| 1 | | Michel Billaud:
Formalisation des structures de contrôle de PROLOG.
SPLT 1985 |
