Login / Signup

Consistency and Completeness of Rewriting in the Calculus of Constructions.

Daria Walukiewicz-ChrzaszczJacek Chrzaszcz
Published in: Log. Methods Comput. Sci. (2008)
Keyphrases