| 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
| |
| dbo:wikiPageLength
|
- 7918 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:arxiv
| |
| 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
| |
| 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
| |
| prop-fr:discipline
|
- Théorie des automates et langages formels (fr)
- Théorie des automates et langages formels (fr)
|
| prop-fr:doi
| |
| 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
| |
| prop-fr:journal
| |
| prop-fr:langue
| |
| 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
| |
| 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 | |
