Automated equational reasoning in nondeterministic lambda-calculi modulo theories H *
Year: 2009
Type: dissertation
Author: Fritz Obermeyer
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2248568643