Publications

1992

Book
Independent AND-parallel narrowing
Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
RWTH record for Independent AND-parallel narrowing BibTeX for Independent AND-parallel narrowing
Book
Implementing disequality in a lazy functional logic language
Herbert Kuchen, Francisco López Fraguas, J. J. Moreno Navarro, Mario Rodríguez Artalejo
RWTH record for Implementing disequality in a lazy functional logic language BibTeX for Implementing disequality in a lazy functional logic language
Book
Result directed computing in a functional logic language
Herbert Kuchen, Francisco López Fraguas
RWTH record for Result directed computing in a functional logic language BibTeX for Result directed computing in a functional logic language
Book
Graph-narrowing to implement a functional logic language
Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez Artalejo
Departamento de Informatica y Automatica, UCM
RWTH record for Graph-narrowing to implement a functional logic language BibTeX for Graph-narrowing to implement a functional logic language
Book
Intelligentes backtracking bei der Auswertung funktional-logischer Programme
P. Koch
RWTH record for Intelligentes backtracking bei der Auswertung funktional-logischer Programme BibTeX for Intelligentes backtracking bei der Auswertung funktional-logischer Programme
Book
Abstract interpretation of functional logic languages
W. Hans, S. Winkler
RWTH record for Abstract interpretation of functional logic languages BibTeX for Abstract interpretation of functional logic languages
Book
Aliasing and groundness analysis of logic programs through abstract interpretation and its safety
W. Hans, S. Winkler
RWTH record for Aliasing and groundness analysis of logic programs through abstract interpretation and its safety BibTeX for Aliasing and groundness analysis of logic programs through abstract interpretation and its safety
Book
On the interaction of lazy evaluation and backtracking
W. Hans, R. Loogen, S. Winkler
RWTH record for On the interaction of lazy evaluation and backtracking BibTeX for On the interaction of lazy evaluation and backtracking
Book
A complete indexing scheme for WAM-based abstract machines
W. Hans
RWTH record for A complete indexing scheme for WAM-based abstract machines BibTeX for A complete indexing scheme for WAM-based abstract machines
Book
Model checking for context-free processes
O. Burkart, B. Steffen
RWTH record for Model checking for context-free processes BibTeX for Model checking for context-free processes
Book chapter
Efficient RT-level verification by theorem proving
Tiziana Margaria
IFIP transactions
RWTH record for Efficient RT-level verification by theorem proving BibTeX for Efficient RT-level verification by theorem proving
Conference paper
Independent AND-parallel narrowing
Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
Programming language implementation and logic programming
RWTH record for Independent AND-parallel narrowing BibTeX for Independent AND-parallel narrowing
Book chapter
The interprocedural coincidence theorem
Jens Knoop, Bernhard Steffen
Compiler construction
RWTH record for The interprocedural coincidence theorem BibTeX for The interprocedural coincidence theorem
Book chapter
On the interaction of lazy evaluation and backtracking
Werner Hans, Rita Loogen, Stephan Winkler
Programm. Lang. implementat. and Logic programm
RWTH record for On the interaction of lazy evaluation and backtracking BibTeX for On the interaction of lazy evaluation and backtracking
Book chapter
A complete indexing scheme for WAM-based abstract machines
Werner Hans
Programm. Lang. implementat. and Logic programm
RWTH record for A complete indexing scheme for WAM-based abstract machines BibTeX for A complete indexing scheme for WAM-based abstract machines

1989

Journal article
An undecidability result for regular languages and its applications to regulated rewriting
F. Hinz, J. Dassow
Bulletin of the European Association for Theoretical Computer Science
RWTH record for An undecidability result for regular languages and its applications to regulated rewriting BibTeX for An undecidability result for regular languages and its applications to regulated rewriting