JOUANNAUD, Jean-Pierre

Université Paris-Sud · Laboratoire de Recherche en Informatique

1 paper on CoChatORCID 0000-0003-4790-9927

Most cited papers

Verified
Rewrite Systems
DERSHOWITZ, N., & JOUANNAUD, J.-P. (1990) · Formal Models and Semantics
Logic, programming, and type systemsAdvanced Algebra and Logic
Cited by 579

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free