Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Edward Haeusler
Professor of Computer Science, PUC-Rio
Verified email at inf.puc-rio.br
Cited by 1021
Logic
Theory of Computation
Proof Theory and Category Theory
Privacy
Terms
Help
About Scholar
Search help