Property | Value |
---|---|
dcterms:bibliographicCitation | <http://dblp.uni-trier.de/rec/bibtex/phd/hal/Grente20> |
dc:creator | <https://dblp.l3s.de/d2r/resource/authors/Th%E2%88%9A%C2%A9o_Grente> |
foaf:homepage | <https://tel.archives-ouvertes.fr/tel-03093951> |
dc:identifier | DBLP phd/hal/Grente20 (xsd:string) |
dcterms:issued | 2020 (xsd:gYear) |
rdfs:label | Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires. (Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons). (xsd:string) |
foaf:maker | <https://dblp.l3s.de/d2r/resource/authors/Th%E2%88%9A%C2%A9o_Grente> |
dc:publisher | Normandy University, Caen, France (xsd:string) |
owl:sameAs | <http://bibsonomy.org/uri/bibtexkey/phd/hal/Grente20/dblp> |
owl:sameAs | <http://dblp.rkbexplorer.com/id/phd/hal/Grente20> |
rdfs:seeAlso | <https://tel.archives-ouvertes.fr/tel-03093951> |
dc:title | Caractérisation et programmation en théorie des langages et en logique des classes de complexité efficace des automates cellulaires. (Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons). (xsd:string) |
dc:type | <http://purl.org/dc/dcmitype/Text> |
rdf:type | swrc:PhDThesis |
rdf:type | foaf:Document |