Search the dblp DataBase
Michel Billaud: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Michel Billaud
Fatal Errors in Conditional Expressions (Extended Abstract). [Citation Graph (0, 0)][DBLP]
ICALP, 1996, pp:146-157 [Conf] - Michel Billaud
Formalisation des structures de contrôle de PROLOG. [Citation Graph (0, 0)][DBLP]
SPLT, 1985, pp:- [Conf] - Michel Billaud
ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities. [Citation Graph (0, 0)][DBLP]
RTA, 1991, pp:437-438 [Conf] - Michel Billaud
Axiomatizations of Backtracking. [Citation Graph (0, 0)][DBLP]
JTASPEFT/WSA, 1991, pp:111-116 [Conf] - Michel Billaud
Axiomatizations of Backtracking. [Citation Graph (0, 0)][DBLP]
STACS, 1992, pp:71-82 [Conf] - Michel Billaud
The ANIGRAF System. [Citation Graph (0, 0)][DBLP]
STACS, 1992, pp:603-604 [Conf] - Michel Billaud, Pierre Lafon, Yves Métivier, Eric Sopena
Graph Rewriting Systems with Priorities. [Citation Graph (0, 0)][DBLP]
WG, 1989, pp:94-106 [Conf] - Michel Billaud
Simple Operational and Denotational Semantics for Prolog with Cut. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1990, v:71, n:2, pp:193-208 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002