György E. Révész

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