Personensuche
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
3
Equational Unification and Matching, and Symbolic Reachabil..:
, In:
?
Rewriting Logic and Its Applications; Lecture Notes in Computer Science ,
5
Associative Unification and Symbolic Reasoning Modulo Assoc..:
, In:
?
9
All about Maude - a high-performance logical framework
how to specify, program and verify systems in rewriting log...
Lecture notes in computer science ; 4350