Formal languages, automata and numeration systems.

Formal languages, automata and numeration systems. 2, Applications to recognizability and decidability /

Bibliographic Details
Main Author:	Rigo, Michel
Format:	eBook
Language:	English
Published:	London : Wiley, 2014.
Series:	Networks and telecommunications series.
Subjects:	Machine theory. Formal languages. Computer programming. Electronic books.
Online Access:	Full Text via HEAL-Link

Similar Items

Formal languages, automata and numeration systems.
by: Rigo, Michel
Published: (2014)

Theory of computation : formal languages, automata, and complexity /
by: Brookshear, J. Glenn
Published: (1989)

Proceedings of the Workshop on Applications of Tree Automata Techniques in Natural Language Processing
Published: (2012)

Introduction to automata theory, languages, and computation /
by: Hopcroft, John E.
Published: (2007)

Formal Languages and Compilation
by: Crespi Reghizzi, Stefano
Published: (2009)

Language and Automata Theory and Applications Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers /
Published: (2008)

Introduction to Formal languages
by: Revesz, Gyorgy E.
Published: (1985)

Formal Modeling and Analysis of Timed Systems 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings /
Published: (2010)

Handbook of Weighted Automata
Published: (2009)

An introduction to formal language theory
by: Arbib, Michael A., et al.
Published: (1988)

Proceedings of the 8th ACM SIGPLAN workshop on Types in language design and implementation
Published: (2012)

Theory of computation formal languages, automata, and complexity
by: Brookshear, J. Glenn
Published: (1989)

A Course in Formal Languages, Automata and Groups
by: Chiswell, Ian M.
Published: (2009)

Introduction to Formal Language Theory
by: Harrison, Michael A.
Published: (1978)

Formal Theories of Information From Shannon to Semantic Information Theory and General Concepts of Information /
Published: (2009)

Language and Automata Theory and Applications Third International Conference, LATA 2009, Tarragona, Spain, April 2-8, 2009. Proceedings /
Published: (2009)

Teaching Formal Methods Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings /
Published: (2009)

Formal Languages and Compilation
by: Crespi Reghizzi, Stefano, et al.
Published: (2019)

Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
Published: (2009)

Grammars and automata for string processing : from mathematics and computer science to biology ,and back. Essays in honour of Georghe Paun /
by: Martin-Vide, Carlos
Published: (2003)

Conference proceedings on Formal methods in software development
Published: (1990)

Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
Published: (2009)

Proceedings of the 2010 Workshop on Applications of Tree Automata in Natural Language Processing
Published: (2010)

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
Published: (2010)

Proceedings of the 6th ACM SIGPLAN Workshop on X10
Published: (2016)

Formal Languages
by: Book, Ronald V., et al.
Published: (1973)

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Published: (2014)

Structured Object-Oriented Formal Language and Method Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers /
Published: (2014)

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Published: (2007)

Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
Published: (2016)

Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /
Published: (2015)

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
Published: (2008)

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs
Published: (2009)

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Published: (2015)

Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Published: (2013)

Formal Languages and Compilation
by: Crespi Reghizzi, Stefano, et al.
Published: (2013)

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs
Published: (2014)

Formal Languages
by: Salomaa, Arto
Published: (1973)

Automata for Branching and Layered Temporal Structures An Investigation into Regularities of Infinite Transition Systems /
by: Puppis, Gabriele
Published: (2010)

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic /
by: Bollig, Benedikt
Published: (2006)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_grml1qnkkbof5gtkv1rfnmil5b