- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 7 |      | 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 | | Patrick Viry: Adventures in sequent calculus modulo equations. Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1996 | ||
| 4 | | 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] |