Travelled to:1 × Germany
1 × Italy
Collaborated with:∅
Talks about:system (2) backtrack (1) prioriti (1) interact (1) express (1) axiomat (1) anigraf (1) rewrit (1) condit (1) graph (1)
Person: Michel Billaud
DBLP: Billaud:Michel
Facilitated 2 volumes:
EdEdContributed to:
1996
19911991Wrote 3 papers:
- ICALP-1996-Billaud #fault
- Fatal Errors in Conditional Expressions (MB), pp. 146–157.
- RTA-1991-Billaud #animation #graph grammar #interactive #named #term rewriting
- ANIGRAF: An Interactive System for the Animation of Graph Rewriting Systems with Priorities (MB), pp. 437–438.
- WSA-1991-Billaud #axiom #backtracking
- Axiomatizations of Backtracking (MB), pp. 111–116.