| 1993 |
|---|
| L. Staiger. Kolmogorov complexity and Hausdorff dimension,
159-194, Elsevier, 1993. |
| DOI | Z. Fülöp, Frank Herrmann, Sandor Vagvolgyi, Heiko Vogler. Tree-transducers with external functions,
185-236, Elsevier, 1993. |
| DOI | Rance Cleaveland, Joachim Parrow, Bernhard Steffen. The concurrency workbench - a semantics-based tool for the verification of concurrent systems,
36-72, Association for Computing Machinery, 1993. |
| DOI | Rance Cleaveland, Bernhard Steffen. A linear-time model-checking algorithm for the alternation-free modal mu-calculus,
121-147, Springer Science + Business Media B.V, 1993. |
| 1992 |
|---|
| DOI | Werner Hans. A complete indexing scheme for WAM-based abstract machines,
Programm. Lang. implementat. and Logic programm, 232-244, 1992. |
| DOI | Werner Hans, Rita Loogen, Stephan Winkler. On the interaction of lazy evaluation and backtracking,
Programm. Lang. implementat. and Logic programm, 355-369, 1992. |
| DOI | Jens Knoop, Bernhard Steffen. The interprocedural coincidence theorem,
Compiler construction, 125-140, 1992. |
| DOI | Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo. Independent AND-parallel narrowing,
Programming language implementation and logic programming : 4th international symposium PLILP '92, Leuven, Belgium, August 26 - 28, 1992 ; proceedings / M. Bruynooghe; M. Wirsing (ed.), 24-38, Springer, 1992. |
| Tiziana Margaria. Efficient RT-level verification by theorem proving,
IFIP transactions / A, Computer science and technology. - 1, 696-702, North-Holland, 1992. |
| O. Burkart, B. Steffen. Model checking for context-free processes,
1992. |
| W. Hans. A complete indexing scheme for WAM-based abstract machines,
1992. |
| W. Hans, R. Loogen, S. Winkler. On the interaction of lazy evaluation and backtracking,
1992. |
| W. Hans, S. Winkler. Aliasing and groundness analysis of logic programs through abstract interpretation and its safety,
1992. |
| W. Hans, S. Winkler. Abstract interpretation of functional logic languages,
1992. |
| P. Koch. Intelligentes backtracking bei der Auswertung funktional-logischer Programme,
1992. |
| Herbert Kuchen, Rita Loogen, Juan José Moreno-Navarro, Mario Rodríguez Artalejo. Graph-narrowing to implement a functional logic language,
Departamento de Informatica y Automatica, UCM, 1992. |
| Herbert Kuchen, Francisco López Fraguas. Result directed computing in a functional logic language,
1992. |
| Herbert Kuchen, Francisco López Fraguas, J. J. Moreno Navarro, Mario Rodríguez Artalejo. Implementing disequality in a lazy functional logic language,
1992. |
| Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo. Independent AND-parallel narrowing,
1992. |
| T. Margaria, B. Steffen. Distinguishing formulas for free,
1992. |
| Thomas Noll, H. Vogler. Top-down parsing with simultaneous evaluation of noncircular attribute grammars,
1992. |
| S. A. Smolka, B. Steffen. Priority as extremal probability,
1992. |
| H. Stoltze. Entwurf und Implementierung einer Sprache zur high-level Programmierung lose gekoppelter Multiprozessorsysteme,
1992. |
| DOI | Olaf Burkart, Bernhard Steffen. Model checking for context-free processes,
CONCUR 92. Berlin [u.a.] 1992, 123-137, Springer [u.a.], 1992. |
| W. Hans. Ein vollständiges Indexing-Schema für WAM-ähnliche abstrakte Maschinen,
1. Arbeitstreffen z. Implementier. Logisch-Funktionaler Sprachen. Karlsruhe 1992, Univ., Fak. für Informatik, Bibliothek, 1992. |