☰

Fritz H. Obermeyer, Ph.D.

Affiliations: 
2009 Carnegie Mellon University, Pittsburgh, PA 
Area:
Mathematics, Computer Science
Google:
"Fritz Obermeyer"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Richard Statman grad student 2009 Carnegie Mellon
 (Automated equational reasoning in nondeterministic lambda-calculi modulo theories H*.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator