2 |
| Marcinkowski, Jerzy (ed.) |
| |
| | 2002 | Ganzinger, Harald
[McAllester, David] | [Stuckey, Peter J.] | | Logical Algorithms
In: Logic Programming. 18th International Conference, ICLP 2002, 209-223 | Proceedings Article | |
| | 2001 | Ganzinger, Harald
[McAllester, David] | [Goré, Rajeev]
[Leitsch, Alexander]
[Nipkow, Tobias] | | A new meta-complexity theorem for bottom-up logic programs
In: Automated reasoning : First International Joint Conference, IJCAR 2001, 514-528 | Proceedings Article | |
| | 1998 | Charatonik, Witold
[McAllester, David]
[Niwinski, Damian]
Podelski, Andreas
[Walukiewicz, Igor] | [Pratt, Vaughan] | | The Horn Mu-calculus
In: Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science (LICS-98), 58-69 | Proceedings Article | |