| |
| 2002 | ||
|---|---|---|
| 7 | EE | Patrick Viry: Equational rules for rewriting logic. Theor. Comput. Sci. 285(2): 487-517 (2002) |
| 1999 | ||
| 6 | Patrick Viry: Elimination of Conditions. J. Symb. Comput. 28(3): 381-401 (1999) | |
| 1998 | ||
| 5 | EE | Patrick Viry: Adventures in sequent calculus modulo equations. Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1996 | ||
| 4 | EE | Patrick Viry: Input/Output for ELAN. Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 1994 | ||
| 3 | Patrick Viry: Rewriting: An Effective Model of Concurrency. PARLE 1994: 648-660 | |
| 1990 | ||
| 2 | Claude Kirchner, Patrick Viry: Implementing Parallel Rewriting. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 123-138 | |
| 1 | Claude Kirchner, Patrick Viry: Implementing Parallel Rewriting. PLILP 1990: 1-15 | |
| 1 | Claude Kirchner | [1] [2] |