Search for Author All Reviews
	Revesz, Gyorgy     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 2 of 2 reviews       A list-oriented extension of the lambda-calculus satisfying the Church-Rosser theorem Révész G. Theoretical Computer Science 93(1): 75-89, 1992.  Type: Article Many computer professionals have the feeling that mathematicians working in theoretical computer science produce elaborate and perhaps elegant theories that have little to do with the real needs of the practitioner. Many mathematicians...... Feb 1 1994     Introduction to formal languages Révész G., Dover Publications, Inc., New York, NY, 1991.  Type: Book (9780486666976) The author covers the mainstream of formal language theory with preferential treatment of generative grammars. The first two chapters provide basic definitions concerning grammars and formal languages. The Chomsky classification of lan...... Jan 1 1993
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy