Search results for: Adam Koprowski
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 6. System Descriptions > 257-266
Lecture Notes in Computer Science > SOFSEM 2008: Theory and Practice of Computer Science > Foundations of Computer Science > 328-339
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 12. Termination > 410-425
Lecture Notes in Computer Science > Frontiers of Combining Systems > Combination Issues in Rewriting and Programming > 232-247
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 5. Theorem Proving > 227-241
Applicable Algebra in Engineering, Communication and Computing > 2009 > 20 > 5-6 > 379-425
Polish Journal of Chemical Technology > 2007 > 9 > 2 > 90-93