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="Zaionc, M."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
How to define functionals on free structures in typed lambda-calculus
M. Zaionc
Lecture Notes in Computer Science
379
, 1989, pp. 566-576
Word operation definable in the typed lambda -calculus
M. Zaionc
Theoretical Computer Science
52
(1-2), 1987, pp. 1-14
The Set of Unifiers in Typed Lambda-Calculus as Regular Expression
M. Zaionc
Rewriting Techniques and Applications. Lecture Notes in Computer Science
202
, 1986, pp. 430