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:
199819962002
1990Wrote 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.