Introduction to formal languages GE Révész Courier Corporation, 1991 | 230 | 1991 |
Introduction to formal languages G Révész Courier Corporation, 1991 | 230 | 1991 |
Introduction to Formal Language Theory G Revesz McGraw-Hill, New York, 1983 | 230* | 1983 |
Lambda-Calculus Combinators and Functional Programming G Revesz Oxford University Press, Inc., 1988 | 155 | 1988 |
Axioms for the theory of lambda-conversion G Revesz SIAM journal on computing 14 (2), 373-382, 1985 | 30 | 1985 |
Bevezetés a formális nyelvek elméletébe G Révész Akadémiai Kiadó, 1979 | 12 | 1979 |
An extension of lambda-calculus for functional programming G Revesz The Journal of Logic Programming 1 (3), 241-251, 1984 | 11 | 1984 |
A list-oriented extension of the lambda-calculus satisfying the Church—Rosser theorem G Révész Theoretical computer science 93 (1), 75-89, 1992 | 10 | 1992 |
Unilateral context sensitive grammars and left-to-right parsing G Révész Journal of Computer and System Sciences 5 (4), 337-352, 1971 | 7 | 1971 |
Parallel graph-reduction with a shared-memory multiprocessor system G Revesz Proc. IEEE International Conference on Computer Languages, New Orleans 1990 …, 1990 | 6 | 1990 |
A context-free characterization of ordinary mathematical notation encoded in TEX GE Revesz, KT Lynch IBM Thomas J. Watson Research Division, 1991 | 5 | 1991 |
Comparing two functional programming systems B Hailpern, T Huynh, G Revesz IEEE transactions on software engineering 15 (5), 532-542, 1989 | 5 | 1989 |
Comment on the paper “Error detection in formal languages” G Révész Journal of Computer and System Sciences 8 (2), 238-242, 1974 | 5 | 1974 |
Syntactic analysis and unilateral context-sensitive grammars G Revesz Studia Scientiarum Mathematicarum Hungarica 4, 11-16, 1969 | 5 | 1969 |
Categorical combinators with explicit products G Révész Fundamenta Informaticae 22 (1, 2), 153-166, 1995 | 4 | 1995 |
A list oriented extension of the Church-Rosser theorem G Revesz IBM Thomas J. Watson Research Division, 1988 | 3 | 1988 |
Algebraic properties of derivation words G Révész Journal of Computer and System Sciences 15 (2), 232-240, 1977 | 3 | 1977 |
An efficient syntactic analyser of certain formal languages G Révész Mathematical Systems Theory 2 (2), 147-158, 1968 | 3 | 1968 |
On translating ordinary mathematical notation. GE Revesz Struct. Program. 12 (3), 115-122, 1991 | 2 | 1991 |
Rule-based semantics for an extended lambda-calculus GE Révész International Workshop on Mathematical Foundations of Programming Semantics …, 1987 | 2 | 1987 |