We stand with Ukraine  

György E. Révész

According to our database1, György E. Révész authored at least 17 papers between 1968 and 1998.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Experimenting with tail-recursion and simulating coroutines.
[BibTeX]
[DOI]
György E. Révész
ACM SIGCSE Bull., 1998

1995
Categorical Combinations with Explicit Products.
[BibTeX]
[DOI]
György E. Révész
Fundam. Informaticae, 1995

1992
A List-Oriented Extension of the lambda-Calculus Satisfying the Church-Rosser Theorem.
[BibTeX]
[DOI]
György E. Révész
Theor. Comput. Sci., 1992

1991
On Translating Ordinary Mathematical Notation.
[BibTeX]
György E. Révész
Struct. Program., 1991

1990
Parallel Graph-Reduction with a Shared Memory Multiprocessor System.
[BibTeX]
[DOI]
György E. Révész
Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989
Comparing Two Functional Programming Systems.
[BibTeX]
[DOI]
Brent Hailpern
,
Tien Huynh
,
György E. Révész
IEEE Trans. Software Eng., 1989

1988
Lambda-calculus, combinators, and functional programming.
[BibTeX]
György E. Révész
Cambridge tracts in theoretical computer science 4, Cambridge University Press, ISBN: 978-0-521-34589-7, 1988

1987
Rule-Based Semantics for an Extended Lambda-Calculus.
[BibTeX]
[DOI]
György E. Révész
Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985
A Note on Macro Generation.
[BibTeX]
[DOI]
György E. Révész
Softw. Pract. Exp., 1985

Axioms for the Theory of Lambda-Conversion.
[BibTeX]
[DOI]
György E. Révész
SIAM J. Comput., 1985

1984
An Extension of Lambda-Calculus for Functional Programming.
[BibTeX]
[DOI]
György E. Révész
J. Log. Program., 1984

1977
Algebraic Properties of Derivation Words.
[BibTeX]
[DOI]
György E. Révész
J. Comput. Syst. Sci., 1977

Multicontrol Turing machines.
[BibTeX]
[DOI]
György E. Révész
Acta Cybern., 1977

1974
Comment on the Paper "Error Detection in Formal Languages".
[BibTeX]
[DOI]
György E. Révész
J. Comput. Syst. Sci., 1974

1972
Dual pushdown automata and context sensitive grammars.
[BibTeX]
[DOI]
György E. Révész
Acta Cybern., 1972

1971
Unilateral Context Sensitive Grammars and Left-to-Right Parsing.
[BibTeX]
[DOI]
György E. Révész
J. Comput. Syst. Sci., 1971

1968
An Efficient Syntactic Analyser of Certain Formal Languages.
[BibTeX]
[DOI]
György E. Révész
Math. Syst. Theory, 1968


  Loading...