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
Andrzej Tarlecki
Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
Verified email at mimuw.edu.pl
Cited by 5149
foundations of computer science
formal methods
logic
universal algebra and category theory
Privacy
Terms
Help
About Scholar
Search help