La conférence International Workshop on Descriptional Complexity of Formal Systems (abrégé en DCFS) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, plus particulièrement en théorie des automates et langages formels.

Property Value
dbo:abstract
  • La conférence International Workshop on Descriptional Complexity of Formal Systems (abrégé en DCFS) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, plus particulièrement en théorie des automates et langages formels. Les contributions proposées sont évaluées par les pairs, comme il est d'usage dans ces conférences; les communications acceptées sont publiées, depuis 2011, dans la série des (en) de Springer. Dès les premières conférences, des versions détaillées de certaines contributions paraissent dans des journaux scientifiques spécialisés, comme International Journal of Foundations of Computer Science, Journal of Automata, Languages and Combinatorics, Theoretical Computer Science ou encore Information and Computation. Dans sa forme actuelle, la conférence DCFS résulte de la fusion, en 2002, de deux autres workshop, à savoir DCAGRS (Descriptional Complexity of Automata, Grammars and Related Structures) et FDSR (Formal Descriptions and Software Reliability). Le workshop DCFS se tient fréquemment aux mêmes lieux et dates que d'autres conférences internationales sur les mêmes thèmes, comme ICALP, DLT ou CIAA. (fr)
  • La conférence International Workshop on Descriptional Complexity of Formal Systems (abrégé en DCFS) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, plus particulièrement en théorie des automates et langages formels. Les contributions proposées sont évaluées par les pairs, comme il est d'usage dans ces conférences; les communications acceptées sont publiées, depuis 2011, dans la série des (en) de Springer. Dès les premières conférences, des versions détaillées de certaines contributions paraissent dans des journaux scientifiques spécialisés, comme International Journal of Foundations of Computer Science, Journal of Automata, Languages and Combinatorics, Theoretical Computer Science ou encore Information and Computation. Dans sa forme actuelle, la conférence DCFS résulte de la fusion, en 2002, de deux autres workshop, à savoir DCAGRS (Descriptional Complexity of Automata, Grammars and Related Structures) et FDSR (Formal Descriptions and Software Reliability). Le workshop DCFS se tient fréquemment aux mêmes lieux et dates que d'autres conférences internationales sur les mêmes thèmes, comme ICALP, DLT ou CIAA. (fr)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10897282 (xsd:integer)
dbo:wikiPageLength
  • 7918 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 189529005 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2010 (xsd:integer)
prop-fr:arxiv
  • 1008.127000 (xsd:double)
prop-fr:auteur
  • Andreas Malcher (fr)
  • Bianca Truthe (fr)
  • Ian McQuillan (fr)
  • Andreas Malcher (fr)
  • Bianca Truthe (fr)
  • Ian McQuillan (fr)
prop-fr:auteurOuvrage
  • Carlos Martín-Vide (fr)
  • Carlos Martín-Vide (fr)
prop-fr:collection
  • Electronic Proceedings in Theoretical Computer Science (fr)
  • Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory (fr)
  • Electronic Proceedings in Theoretical Computer Science (fr)
  • Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory (fr)
prop-fr:création
  • 1999 (xsd:integer)
prop-fr:date
  • octobre 2009 (fr)
  • octobre 2012 (fr)
  • annuelle (fr)
  • octobre 2008 (fr)
  • octobre 2009 (fr)
  • octobre 2012 (fr)
  • annuelle (fr)
  • octobre 2008 (fr)
prop-fr:directeur
  • oui (fr)
  • oui (fr)
prop-fr:discipline
  • Théorie des automates et langages formels (fr)
  • Théorie des automates et langages formels (fr)
prop-fr:doi
  • 10.420400 (xsd:double)
prop-fr:fr
  • List of computer science conferences (fr)
  • International Journal of Foundations of Computer Science (fr)
  • Lecture Notes in Computer Science (fr)
  • Complexité des circuits (fr)
  • Complexité structurelle (fr)
  • List of computer science conferences (fr)
  • International Journal of Foundations of Computer Science (fr)
  • Lecture Notes in Computer Science (fr)
  • Complexité des circuits (fr)
  • Complexité structurelle (fr)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:journal
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lireEnLigne
prop-fr:localisation
  • villes variées (fr)
  • villes variées (fr)
prop-fr:nom
  • Holzer (fr)
  • McQuillan (fr)
  • Kutrib (fr)
  • Pighizzini (fr)
  • International Workshop on Descriptional Complexity of Formal Systems (fr)
  • Holzer (fr)
  • McQuillan (fr)
  • Kutrib (fr)
  • Pighizzini (fr)
  • International Workshop on Descriptional Complexity of Formal Systems (fr)
prop-fr:numéro
  • 96 (xsd:integer)
  • 99 (xsd:integer)
  • 108 (xsd:integer)
prop-fr:pages
  • 160 (xsd:integer)
  • 168 (xsd:integer)
  • 185 (xsd:integer)
prop-fr:passage
  • 1 (xsd:integer)
prop-fr:prénom
  • Ian (fr)
  • Markus (fr)
  • Giovanni (fr)
  • Martin (fr)
  • Ian (fr)
  • Markus (fr)
  • Giovanni (fr)
  • Martin (fr)
prop-fr:siteWeb
prop-fr:titre
  • Preface (fr)
  • Report on DCFS 2008 (fr)
  • Report on DCFS 2009 (fr)
  • Report on DCFS 2012 (fr)
  • Scientific Applications of Language Methods (fr)
  • Preface (fr)
  • Report on DCFS 2008 (fr)
  • Report on DCFS 2009 (fr)
  • Report on DCFS 2012 (fr)
  • Scientific Applications of Language Methods (fr)
prop-fr:titreChapitre
  • Descriptional Complexity — An Introductory Survey (fr)
  • Descriptional Complexity — An Introductory Survey (fr)
prop-fr:trad
  • List of computer science conferences (fr)
  • Circuit complexity (fr)
  • Structural complexity (fr)
  • List of computer science conferences (fr)
  • Circuit complexity (fr)
  • Structural complexity (fr)
prop-fr:type
  • Conférence académique (fr)
  • Conférence académique (fr)
prop-fr:url
prop-fr:volume
  • 2 (xsd:integer)
  • 31 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
dct:subject
rdfs:comment
  • La conférence International Workshop on Descriptional Complexity of Formal Systems (abrégé en DCFS) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, plus particulièrement en théorie des automates et langages formels. (fr)
  • La conférence International Workshop on Descriptional Complexity of Formal Systems (abrégé en DCFS) est une conférence scientifique annuelle dans le domaine de l'informatique théorique, plus particulièrement en théorie des automates et langages formels. (fr)
rdfs:label
  • International Workshop on Descriptional Complexity of Formal Systems (fr)
  • International Workshop on Descriptional Complexity of Formal Systems (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:homepage
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of