dblp.uni-trier.dewww.uni-trier.de

György E. Révész

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1995
15 György E. Révész: Categorical Combinations with Explicit Products. Fundam. Inform. 22(1/2): 153-166 (1995)
1992
14 György E. Révész: A List-Oriented Extension of the lambda-Calculus Satisfying the Church-Rosser Theorem. Theor. Comput. Sci. 93(1): 75-89 (1992)
1991
13 György E. Révész: On Translating Ordinary Mathematical Notation. Structured Programming 12(3): 115-122 (1991)
1990
12 György E. Révész: Parallel Graph-Reduction with a Shared Memory Multiprocessor System. ICCL 1990: 33-38
1989
11EEBrent Hailpern, Tien Huynh, György E. Révész: Comparing Two Functional Programming Systems. IEEE Trans. Software Eng. 15(5): 532-542 (1989)
1987
10 György E. Révész: Rule-Based Semantics for an Extended Lambda-Calculus. MFPS 1987: 43-56
1985
9 György E. Révész: Axioms for the Theory of Lambda-Conversion. SIAM J. Comput. 14(2): 373-382 (1985)
8 György E. Révész: A Note on Macro Generation. Softw., Pract. Exper. 15(5): 423-426 (1985)
1984
7 György E. Révész: An Extension of Lambda-Calculus for Functional Programming. J. Log. Program. 1(3): 241-251 (1984)
1977
6 György E. Révész: Multicontrol Turing machines. Acta Cybern. 3: 173-177 (1977)
5 György E. Révész: Algebraic Properties of Derivation Words. J. Comput. Syst. Sci. 15(2): 232-240 (1977)
1974
4 György E. Révész: Comment on the Paper "Error Detection in Formal Languages". J. Comput. Syst. Sci. 8(2): 238-242 (1974)
1972
3 György E. Révész: Dual pushdown automata and contex sensitive grammars. Acta Cybern. 1: 147-151 (1972)
1971
2 György E. Révész: Unilateral Context Sensitive Grammars and Left-to-Right Parsing. J. Comput. Syst. Sci. 5(4): 337-352 (1971)
1968
1 György E. Révész: An Efficient Syntactic Analyser of Certain Formal Languages. Mathematical Systems Theory 2(2): 147-158 (1968)

Coauthor Index

1Brent Hailpern [11]
2Tien Huynh [11]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)