Central and East European
Society for Phenomenology

Repository | Directory | Profile

150037

Jean-Pierre Jouannaud

Bibliography ²

From obj to ml to coq

2006

Jacek Chrząszcz Jean-Pierre Jouannaud

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link

Algebra, meaning, and computation

2006

edited byKokichi Futatsugi Jean-Pierre Jouannaud José Meseguer

Dordrecht, Springer

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009