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
Hilfe
Suche: Author="Pietrzykowski, T."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Equality and abductive residua for Horn clauses
E. Knill
,
P.T. Cox
,
T. Pietrzykowski
Theoretical Computer Science
120
(1), 1993, pp. 1-44
A complete, nonredundant algorithm for reversed Skolemization
P.T. Cox
,
T. Pietrzykowski
Theoretical Computer Science
28
(3), 1984, pp. 239-261
Mechanizing
\omega
-order type theory through unification
D.C. Jensen
,
T. Pietrzykowski
Theoretical Computer Science
3
(2), 1976, pp. 123-171
A complete mechanization of second-order type theory
T. Pietrzykowski
Journal of the ACM
20
, 1973, pp. 333-364