Get started
Author

György E. Révész

Introduction to formal languages
1983 · György E. Révész · CERN Document Server (European Organization for Nuclear Research) · 142
Axioms for the Theory of Lambda-Conversion
1985 · Gyorgy Revesz · SIAM Journal on Computing · 19
A list-oriented extension of the lambda-calculus satisfying the Church—Rosser theorem
1992 · György E. Révész · Theoretical Computer Science · 9
PDF
An extension of lambda-calculus for functional programming
1984 · Gyorgy Revesz · The Journal of Logic Programming · 9
PDF
Categorical Combinators With Explicit Products
1995 · György E. Révész · Fundamenta Informaticae · 5
Comment on the paper “Error detection in formal languages”
1974 · György Révész · Journal of Computer and System Sciences · 5
PDF
Unilateral context sensitive grammars and left-to-right parsing
1971 · György Révész · Journal of Computer and System Sciences · 5
PDF
Comparing two functional programming systems
1989 · B. Hailpern, T. Huynh, et al. · IEEE Transactions on Software Engineering · 3
Rule-based semantics for an extended lambda-calculus
1988 · György E. Révész · Lecture notes in computer science · 3
Parallel graph-reduction with a shared memory multiprocessor system
2002 · G. Revesz · International Conference on Computer Languages (ICCL) · 2
Algebraic properties of derivation words
1977 · György Révész · Journal of Computer and System Sciences · 2
PDF
An efficient syntactic analyser of certain formal languages
1968 · György Révész · Theory of Computing Systems · 1
Experimenting with tail-recursion and simulating coroutines
1998 · Gyorgy E. Revesz · ACM SIGCSE Bulletin
PDF
Guest Editor's Note
1995 · György E. Révész · Fundamenta Informaticae
On Translating Ordinary Mathematical Notation.
1991 · György E. Révész
Multicontrol Turing machines.
1977 · György E. Révész · Acta Cybernetica
Dual pushdown automata and context sensitive grammars.
1972 · György E. Révész · Acta Cybernetica
Works count: 17
Citation count: 205
H-index: 5
I10-index: 2
Year
Topic
Type