This HTML5 document contains 157 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n39http://fuzzy.cs.uni-magdeburg.de/dcagrs/
dbrhttp://dbpedia.org/resource/
n30http://dcfs2017.di.unimi.it/
n37http://www.cs.nmsu.edu/dcfs06/
n10http://fr.dbpedia.org/resource/Modèle:
n18http://www.sztaki.hu/tcs/dcfsarchiv/
n11http://viaf.org/viaf/
dbpedia-frhttp://fr.dbpedia.org/resource/
n36http://
n34http://www.csd.uwo.ca/dcfs04/
n21http://www.csd.uwo.ca/dcfs2013/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n41http://g.co/kg/m/
n23http://www.eatcs.org/images/bulletin/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n20https://d-nb.info/gnd/
n19http://www.csit.upei.ca/dcfs2016/
n25http://www.dcc.fc.up.pt/DCFS12/
xsdhhttp://www.w3.org/2001/XMLSchema#
n22http://ma-graph.org/entity/
prop-frhttp://fr.dbpedia.org/property/
dbohttp://dbpedia.org/ontology/
n31http://dblp.uni-trier.de/db/conf/dcfs/
n38http://theo.cs.uni-magdeburg.de/dcfs2009/
wikidatahttp://www.wikidata.org/entity/
n40http://www.informatik.uni-giessen.de/dcfs2011/
n28http://theo.cs.uni-magdeburg.de/dcfs02/
n24http://dcfs05.dico.unimi.it/
n12https://cs.uwaterloo.ca/~shallit/DC2015/
n17http://www.informatik.uni-giessen.de/dcfs/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n35http://www.csit.upei.ca/dcfs2008/
n8http://www.cs.usask.ca/dcfs2010/
n27http://www.math.utu.fi/projects/dcfs2014/
wikipedia-frhttp://fr.wikipedia.org/wiki/
n26http://dcfs07.ics.upjs.sk/
n9http://www.worldscibooks.com/compsci/
category-frhttp://fr.dbpedia.org/resource/Catégorie:
n29http://theo.cs.uni-magdeburg.de/dcfs2009/text/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbpedia-fr:International_Workshop_on_Descriptional_Complexity_of_Formal_Systems
rdfs:label
International Workshop on Descriptional Complexity of Formal Systems
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.
owl:sameAs
wikidata:Q5263793 n11:1070145857132922922866 dbr:Descriptional_Complexity_of_Formal_Systems n20:1092452303 n22:2758465625 n41:03nr2ww
dbo:wikiPageID
10897282
dbo:wikiPageRevisionID
189529005
dbo:wikiPageWikiLink
dbpedia-fr:Information_and_Computation dbpedia-fr:Springer_Science+Business_Media dbpedia-fr:Braga dbpedia-fr:Langage_formel dbpedia-fr:Saskatoon dbpedia-fr:International_Colloquium_on_Automata,_Languages_and_Programming dbpedia-fr:International_Conference_on_Developments_in_Language_Theory dbpedia-fr:Digital_Bibliography_&_Library_Project dbpedia-fr:Informatique_théorique category-fr:Conférence_en_informatique_théorique category-fr:Langage_formel category-fr:Théorie_des_automates dbpedia-fr:Côme dbpedia-fr:Complexité_de_Kolmogorov dbpedia-fr:Évaluation_par_les_pairs dbpedia-fr:Complexité_en_états dbpedia-fr:International_Federation_for_Information_Processing dbpedia-fr:Complexité_descriptive dbpedia-fr:Congrès_scientifique dbpedia-fr:European_Association_for_Theoretical_Computer_Science dbpedia-fr:Théorie_des_automates dbpedia-fr:Theoretical_Computer_Science dbpedia-fr:Imperial_College_Press dbpedia-fr:Las_Cruces_(Nouveau-Mexique) dbpedia-fr:Liste_des_principales_conférences_d'informatique_théorique dbpedia-fr:San_José_(Californie) dbpedia-fr:Journal_of_Automata,_Languages_and_Combinatorics dbpedia-fr:Charlottetown dbpedia-fr:Conference_on_Implementation_and_Application_of_Automata
dbo:wikiPageExternalLink
n8: n12: n18: n19: n21: n23:beatcs108.pdf n24: n25: n26: n27: n28: n29:TenYearsDCFS.pdf n30: n23:beatcs99.pdf n23:beatcs96Web.pdf n31: n9:p707.html n34: n35: n36:www.eptcs.org n37: n38: n39: n40: n17:
dbo:wikiPageLength
7918
dct:subject
category-fr:Théorie_des_automates category-fr:Conférence_en_informatique_théorique category-fr:Langage_formel
foaf:homepage
n17:
prop-fr:wikiPageUsesTemplate
n10:Titre_en_italique n10:Lien n10:Portail n10:17e n10:Chapitre n10:15e n10:5e n10:4e n10:6e n10:8e n10:7e n10:9e n10:Article n10:10e n10:11e n10:13e n10:14e n10:12e n10:18e n10:19e n10:16e n10:1er n10:2e n10:Infobox_Événement n10:3e
prov:wasDerivedFrom
wikipedia-fr:International_Workshop_on_Descriptional_Complexity_of_Formal_Systems?oldid=189529005&ns=0
prop-fr:année
2010
prop-fr:arxiv
1008.13
prop-fr:auteur
Bianca Truthe Ian McQuillan Andreas Malcher
prop-fr:auteurOuvrage
Carlos Martín-Vide
prop-fr:collection
Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory Electronic Proceedings in Theoretical Computer Science
prop-fr:création
1999
prop-fr:date
annuelle octobre 2012 octobre 2009 octobre 2008
prop-fr:directeur
oui
prop-fr:doi
10.4204
prop-fr:fr
Lecture Notes in Computer Science Complexité des circuits Complexité structurelle International Journal of Foundations of Computer Science List of computer science conferences
prop-fr:isbn
978
prop-fr:journal
dbpedia-fr:European_Association_for_Theoretical_Computer_Science Electronic Proceedings in Theoretical Computer Science
prop-fr:langue
en
prop-fr:lireEnLigne
n9:p707.html
prop-fr:nom
Kutrib McQuillan Pighizzini International Workshop on Descriptional Complexity of Formal Systems Holzer
prop-fr:numéro
108 99 96
prop-fr:pages
160 168 185
prop-fr:passage
1
prop-fr:prénom
Ian Giovanni Markus Martin
prop-fr:siteWeb
n17:
prop-fr:titre
Preface Report on DCFS 2009 Report on DCFS 2012 Scientific Applications of Language Methods Report on DCFS 2008
prop-fr:titreChapitre
Descriptional Complexity — An Introductory Survey
prop-fr:trad
Circuit complexity Structural complexity List of computer science conferences
prop-fr:type
Conférence académique
prop-fr:url
n23:beatcs96Web.pdf n23:beatcs99.pdf n23:beatcs108.pdf
prop-fr:volume
2 31
prop-fr:éditeur
dbpedia-fr:Imperial_College_Press
prop-fr:discipline
Théorie des automates et langages formels
prop-fr:localisation
villes variées
foaf:isPrimaryTopicOf
wikipedia-fr:International_Workshop_on_Descriptional_Complexity_of_Formal_Systems
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.