Author
Egly, Uwe, 1960-
2
Fermüller, C (Christian), 1963-
2
Fermüller, C (Christian), 1963-
2
Hermanns, Holger, 1967-
2
International Conference on Logic Programming Copenhagen, Denmark
2
International Conference on Rewriting Techniques and Applications Copenhagen, Denmark
2
PAPM-PROBMIV 2002 Copenhagen, Denmark
2
Segala, Roberto, 1968-
2
Stuckey, Peter J
2
TABLEAUX 2002 Copenhagen, Denmark
2
Tison, Sophie
2
Andreasen, Troels
1
Brinksma, Ed
1
CAV (Conference) Copenhagen, Denmark)
1
FQAS (Conference) Copenhagen, Denmark)
1
Hansen, Holger Bernt
1
Johannsen, Maj-Britt
1
Larsen, K. G (Kim G.), 1957-
1