dataHAL.science
Support
https://data.archives-ouvertes.fr/author/830188
https://data.archives-ouvertes.fr/author/830188
http://xmlns.com/foaf/0.1/topic_interest
Non-branching process semantics
http://xmlns.com/foaf/0.1/mbox_sha1sum
38bc7239bb13c890db4f8162527bfaaa
http://xmlns.com/foaf/0.1/firstName
Rémi
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest
Petri nets
http://xmlns.com/foaf/0.1/topic_interest
Universality problem
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cc
http://xmlns.com/foaf/0.1/familyName
Morin
http://xmlns.com/foaf/0.1/topic_interest
Automata
http://xmlns.com/foaf/0.1/topic_interest
Boundedness
http://xmlns.com/foaf/0.1/topic_interest
Mazurkiewicz traces
http://xmlns.com/foaf/0.1/topic_interest
Reachability
http://xmlns.com/foaf/0.1/topic_interest
Concurrency theory
http://xmlns.com/foaf/0.1/topic_interest
Covering
http://xmlns.com/foaf/0.1/topic_interest
Formal languages
http://xmlns.com/foaf/0.1/name
Rémi Morin
http://xmlns.com/foaf/0.1/topic_interest
Vector addition systems with states
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/Person
https://aurehal.archives-ouvertes.fr/author/830188
Télécharger au format
RDF/XML
Turtle
N3
Json