Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Lecture notes in computer science, 2004, p.90-104
2004
Volltextzugriff (PDF)

Lecture notes in computer science, 2004, p.27-42
2004
Volltextzugriff (PDF)

Compiling ask constraints
Lecture notes in computer science, 2004, p.105-119
2004
Volltextzugriff (PDF)


Lecture notes in computer science, 2002, p.194-208
2002
Volltextzugriff (PDF)

Open Access
Checking modes of HAL programs
Theory and practice of logic programming, 2005-11, Vol.5 (6), p.623-667
2005
Volltextzugriff (PDF)

Open Access
An Overview of HAL
Lecture notes in computer science, 1999, p.174-188
1999
Volltextzugriff (PDF)