György E. Révész

Publication Activity (10 Years)

Years Active: 1968-1998
Publications (10 Years): 0

Publications

György E. Révész
Experimenting with tail-recursion and simulating coroutines. ACM SIGCSE Bull. 30 (4) (1998)
György E. Révész
Categorical Combinations with Explicit Products. Fundam. Informaticae 22 (1/2) (1995)
György E. Révész
A List-Oriented Extension of the lambda-Calculus Satisfying the Church-Rosser Theorem. Theor. Comput. Sci. 93 (1) (1992)
György E. Révész
On Translating Ordinary Mathematical Notation. Struct. Program. 12 (3) (1991)
György E. Révész
Parallel Graph-Reduction with a Shared Memory Multiprocessor System. ICCL (1990)
Brent Hailpern, Tien Huynh, György E. Révész
Comparing Two Functional Programming Systems. IEEE Trans. Software Eng. 15 (5) (1989)
György E. Révész
Rule-Based Semantics for an Extended Lambda-Calculus. MFPS (1987)
György E. Révész
A Note on Macro Generation. Softw. Pract. Exp. 15 (5) (1985)
György E. Révész
Axioms for the Theory of Lambda-Conversion. SIAM J. Comput. 14 (2) (1985)
György E. Révész
An Extension of Lambda-Calculus for Functional Programming. J. Log. Program. 1 (3) (1984)
György E. Révész
Algebraic Properties of Derivation Words. J. Comput. Syst. Sci. 15 (2) (1977)
György E. Révész
Multicontrol Turing machines. Acta Cybern. 3 (2) (1977)
György E. Révész
Comment on the Paper "Error Detection in Formal Languages". J. Comput. Syst. Sci. 8 (2) (1974)
György E. Révész
Dual pushdown automata and context sensitive grammars. Acta Cybern. 1 (3) (1972)
György E. Révész
Unilateral Context Sensitive Grammars and Left-to-Right Parsing. J. Comput. Syst. Sci. 5 (4) (1971)
György E. Révész
An Efficient Syntactic Analyser of Certain Formal Languages. Math. Syst. Theory 2 (2) (1968)