DMCA

Automated Equational Reasoning in Nondeterministic λ-Calculi Modulo Theories H* (2009)

Cached

Download Links

by Fritz H. Obermeyer