Search results for: Zurab Khasidashvili
Formal Methods in System Design > 2017 > 50 > 2-3 > 317-352
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 122-136
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Joint RTA-TLCA Invited Talk > 467-482
Lecture Notes in Computer Science > STACS 94 > 163-174
Lecture Notes in Computer Science > Computer Science – Theory and Applications > Invited Papers > 11-12
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > 238-249
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > Hardware Verification > 56-75
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 51-65
Lecture Notes in Computer Science > Processes, Terms and Cycles: Steps on the Road to Infinity > 496-553