Statistics
Publications
3
Citations
165
H-Index
3
Active since
1996
Affiliations
Patrick Viry is an author at Advanced Science, Technology & Management Research Institute of Kyoto specializing in rewrite systems, computer science, and rewriting systems.
Publications per year
1996–2002
3
3
Equational rules for rewriting logic
Patrick Viry · Theoretical Computer Science · 2002 · 119 citations
Patrick Viry · Journal of Symbolic Computation · 1999 · 23 citations
Patrick Viry · Electronic Notes in Theoretical Computer Science · 1996 · 23 citations · Full text
Computing, Computer Science, Natural Language Processing +13
1–3 of 3