BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Sweden
Collaborated with:
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 DBLP: Viry:Patrick

Contributed to:

WRLA 19981998
WRLA 19961996
WRLA 19962002
PLILP 19901990

Wrote 4 papers:

WRLA-1998-Viry #calculus #equation
Adventures in sequent calculus modulo equations (PV), pp. 21–32.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.