Search results for: A. Sernadas
Lecture Notes in Computer Science > Categorical Methods in Computer Science With Aspects from Topology > 142-156
Lecture Notes in Computer Science > Logics in Artificial Intelligence > Reasoning Under Uncertainty > 239-251
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 239-266
Journal of Computer and System Sciences > 2015 > 81 > 2 > 359-375
Studia Logica > 2014 > 102 > 5 > 1041-1074
Journal of Applied Logic > 2013 > 11 > 3 > 328-349
Studia Logica > 2013 > 101 > 1 > 117-155
Logica Universalis > 2011 > 5 > 2 > 205-224
Theoretical Computer Science > 2007 > 379 > 1-2 > 142-165
Electronic Notes in Theoretical Computer Science > 2006 > 158 > Complete > 19-39