dblp.uni-trier.dewww.uni-trier.de

Michel Billaud Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1996
8EEMichel Billaud: Fatal Errors in Conditional Expressions (Extended Abstract). ICALP 1996: 146-157
1992
7EEMichel Billaud: The ANIGRAF System. STACS 1992: 603-604
6EEMichel Billaud: Axiomatizations of Backtracking. STACS 1992: 71-82
1991
5 Michel Billaud: Axiomatizations of Backtracking. JTASPEFT/WSA 1991: 111-116
4EEMichel 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
2EEMichel 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

Coauthor Index

1Pierre Lafon [2]
2Yves Métivier [2]
3Eric Sopena [2]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)