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="R{\'e}v{\'e}sz, Gy{\H{o}}rgy"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem
Gyŏrgy E. Révész
Theoretical Computer Science
93
, 1992, pp. 75-89
An efficient syntactic analyser of certain formal languages
Gyŏrgy Révész
Math. Systems Theory
2
, 1968, pp. 147-158