`Travelled to:`

1 × Sweden

`Collaborated with:`

∅ C.Kirchner

`Talks about:`

rewrit (2) equat (2) implement (1) parallel (1) calculus (1) adventur (1) sequent (1) output (1) modulo (1) logic (1)

## Person: Patrick Viry

### DBLP: Viry:Patrick

### Contributed to:

### Wrote 4 papers:

- WRLA-1998-Viry #calculus #equation
- Adventures in sequent calculus modulo equations (PV), pp. 21–32.
- RWLW-1996-Viry
- Input/Output for ELAN (PV), pp. 51–64.
- WRLA-J-1996-Viry02 #equation #logic
- Equational rules for rewriting logic (PV), pp. 487–517.
- PLILP-1990-KirchnerV #implementation #parallel
- Implementing Parallel Rewriting (CK, PV), pp. 1–15.