About: dbpedia-fr:Automate_de

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Automate_de_Parikh Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Automate de Parikh (fr)
rdfs:comment	En informatique théorique, et notamment en théorie des automates, un automate de Parikh est un automate fini non déterministe dont les transitions comportent des vecteurs d’entiers naturels qui permettent de tester si la somme des vecteurs d'un calcul satisfait une contrainte semi-linéaire. L'intérêt de cette famille d'automates est qu'elle possède d'autres caractérisations équivalentes, sous forme de machine de Turing et sous une forme plus algébrique, dite RCM. (fr)
sameAs	wikidata:Q97174023 http://g.co/kg/g/11jmzk42f6
Wikipage page ID	13385537 (xsd:integer)
Wikipage revision ID	182130548 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Automates_finis_et_langages_réguliers Alphabet dbpedia-fr:Automate_fini category-fr:Théorie_des_automates Theoretical computer science Journal of the ACM dbpedia-fr:Logique_d'ordre_supérieur Turing machine dbpedia-fr:RAIRO_Informatique_théorique_et_applications Theoretical Computer Science (journal) dbpedia-fr:Théorie_des_automates Parikh's theorem
Link from a Wikipage to an external page	http://www-igm.univ-mlv.fr/~carayol/Papers/xb7d4707dc0d2322.pdf
page length (characters) of wiki page	12313 (xsd:nonNegativeInteger)
dct:subject	category-fr:Automates_finis_et_langages_réguliers category-fr:Théorie_des_automates
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:' dbpedia-fr:Modèle:, dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Chapitre dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Loupe dbpedia-fr:Modèle:Théorème
prov:wasDerivedFrom	wikipedia-fr:Automate_de_Parikh?oldid=182130548&ns=0
foaf:depiction
prop-fr:auteur	Cyril Nicaud (fr) Alain Finkel (fr) Alin Bostan (fr) Arnaud Carayol (fr) Felix Klaedtke (fr) Florent Koechlin (fr) Giusi Castiglione (fr) Harald Rueß (fr) Michaël Cadilhac (fr) Oscar H. Ibarra (fr) Paolo Massazza (fr) Pierre McKenzie (fr) Thomas Colcombet (fr)
prop-fr:collection	LectureNotes in Computer Science (fr)
prop-fr:consultéLe	2020-05-28 (xsd:date)
prop-fr:date	1978 (xsd:integer) 1993 (xsd:integer) 2003 (xsd:integer) 2012 (xsd:integer) 2013 (xsd:integer) 2015 (xsd:integer) 2017 (xsd:integer) 2020 (xsd:integer)
prop-fr:doi	10 (xsd:double) 10 (xsd:double) 10 (xsd:double) 10 (xsd:double) 10 (xsd:double) 10 (xsd:double)
prop-fr:id	B (fr)
prop-fr:lireEnLigne	http://www-igm.univ-mlv.fr/~carayol/Papers/xb7d4707dc0d2322.pdf
prop-fr:numéro	1 (xsd:integer) 2 (xsd:integer) 4 (xsd:integer) 7 (xsd:integer)
prop-fr:pages	74 (xsd:integer) 114 (xsd:integer) 116 (xsd:integer) 149 (xsd:integer) 511 (xsd:integer) 1099 (xsd:integer)
prop-fr:passage	3 (xsd:integer) 74 (xsd:integer)
prop-fr:périodique	47 (xsd:integer) Journal of the ACM dbpedia-fr:RAIRO_Informatique_théorique_et_applications Theoretical Computer Science (journal) Int. J. Found. Comput. Sci. (fr) RAIRO - Informatique Théorique et Applications (fr)
prop-fr:titre	Affine Parikh automata (fr) Monadic second-order logics with cardinalities (fr) Unambiguity in automata theory (fr) Unambiguous constrained automata (fr) Reversal-bounded multicounter machines and their decision problems (fr) On a class of languages with holonomic generating functions (fr) Holonomic functions and their relation to linearly constrained languages (fr) Weakly-unambiguous Parikh automata and their link to holonomic series (fr)
prop-fr:titreOuvrage	Descriptional Complexity of Formal Systems - 17th International Workshop (fr) Automata, Languages and Programming, 30th International Colloquium (fr)
prop-fr:volume	24 (xsd:integer) 25 (xsd:integer) 27 (xsd:integer) 46 (xsd:integer) 658 (xsd:integer)
prop-fr:éditeur	Springer (fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 10 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software