Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

This book constitutes the refereed proceedings of the 14th International Workshop of Descriptional Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. T...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Kutrib Martin (Directeur de publication), Moreira Nelma (Directeur de publication), Reis Rogério (Directeur de publication)
Format : Livre
Langue : anglais
Titre complet : Descriptional Complexity of Formal Systems : 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings / edited by Martin Kutrib, Nelma Moreira, Rogério Reis.
Publié : Berlin, Heidelberg : Springer Berlin Heidelberg , 2012
Cham : Springer Nature
Collection : Theoretical computer science and general issues (Online) ; 7386
Accès en ligne : Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr
Sujets :
Computer Science
Computation by Abstract Devices
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Theory of Computation
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
Actes de congrès
Documents associés : Autre format: Descriptional Complexity of Formal Systems
Autre format: Descriptional Complexity of Formal Systems

Internet

https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-31623-4