Search results for: Ursula Martin
Argumentation > 2019 > 33 > 2 > 173-214
Historia Mathematica > 2017 > 44 > 3 > 202-231
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 27-42
Lecture Notes in Computer Science > FM’99 — Formal Methods > Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST) > 1758-1777
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Regular Contributions > 113-125
American Journal of Human Biology > 28 > 3 > 364 - 371
Formal Aspects of Computing > 2013 > 25 > 6 > 993-1016
Formal Aspects of Computing > 2013 > 25 > 3 > 345-363
Journal of Algebra > 2007 > 312 > 1 > 294-329
Journal of Symbolic Computation > 2005 > 39 > 5 > 539-567