Central and East European
Society for Phenomenology

Repository | Directory | Profile

150036

Jacek Chrząszcz

Bibliography ¹

From obj to ml to coq

2006

Jacek Chrząszcz Jean-Pierre Jouannaud

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

Open Access Link

Order by

Filter

Language

english/english

Period

2000-2009