Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Fribourg, L."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
SLOG - a logic interpreter for equational clauses
L. Fribourg
Lecture Notes in Computer Science
247
, 1987, pp. 479-480
Handling Function Definitions Through Innermost Superposition and Rewriting
L. Fribourg
Rewriting Techniques and Applications. Lecture Notes in Computer Science
202
, 1986, pp. 325-344
A superposition oriented theorem prover
L. Fribourg
Theoretical Computer Science
35
(2,3), 1985, pp. 129-164
Oriented equational clauses as a programming language
L. Fribourg
Lecture Notes in Computer Science
172
, 1984, pp. 162-173