Search results for: Jürgen Dix
Theory of Computing Systems > 2008 > 42 > 3 > 366-410
Annals of Mathematics and Artificial Intelligence > 2007 > 51 > 2-4 > 81-121
Annals of Mathematics and Artificial Intelligence > 2004 > 41 > 2-4 > 339-395
Annals of Mathematics and Artificial Intelligence > 2003 > 37 > 4 > 381-407
Theoretical Computer Science > 2003 > 290 > 1 > 499-529
Theoretical Computer Science > 2001 > 266 > 1-2 > 819-838
Theoretical Computer Science > 2001 > 258 > 1-2 > 523-553
Annals of Pure and Applied Logic > 2001 > 108 > 1-3 > 153-188
Artificial Intelligence > 2001 > 127 > 1 > 87-135
The Journal of Logic Programming > 2000 > 46 > 1-2 > 1-60
Artificial Intelligence > 1999 > 112 > 1-2 > 233-250
The Journal of Logic Programming > 1999 > 40 > 1 > 1-46
Annals of Mathematics and Artificial Intelligence > 1999 > 25 > 3-4 > 161-164
Annals of Mathematics and Artificial Intelligence > 1999 > 27 > 1-4 > 1-2
Journal of Automated Reasoning > 1998 > 20 > 1-2 > 143-165