Wyniki wyszukiwania dla: Albert Rubio
- 1
- 2
Lecture Notes in Computer Science > ESOP '92 > 371-389
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 8. Higher-Order Rewriting and Unification > 387-399
Lecture Notes in Computer Science > Rewriting, Computation and Proof > Rewriting Foundations > 28-43
2013 Formal Methods in Computer-Aided Design > 218 - 225
Journal of Automated Reasoning > 2013 > 50 > 1 > 51-98
Journal of Archaeological Science > 2012 > 39 > 8 > 2655-2667
Journal of Automated Reasoning > 2012 > 48 > 1 > 107-131
Journal of Automated Reasoning > 2003 > 30 > 1 > 99-120
Information and Computation > 2002 > 178 > 2 > 515-533
Theoretical Computer Science > 1998 > 208 > 1-2 > 33-58
Journal of Symbolic Computation > 1997 > 23 > 1 > 1-21
Theoretical Computer Science > 1995 > 142 > 2 > 209-227
Theoretical Computer Science > 1995 > 142 > 2 > 209-227
Journal of Symbolic Computation > 1995 > 19 > 4 > 321-351
- 1
- 2