dataHAL.science
Support
https://data.archives-ouvertes.fr/author/897087
https://data.archives-ouvertes.fr/author/897087
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest
Logique temporelle linéaire
http://xmlns.com/foaf/0.1/topic_interest
Systèmes de ré-écriture des termes
http://xmlns.com/foaf/0.1/topic_interest
Saturation algorithm
http://xmlns.com/foaf/0.1/topic_interest
Algorithme de saturation
http://xmlns.com/foaf/0.1/familyName
Nguyen
http://xmlns.com/foaf/0.1/topic_interest
Linear temporal logic
http://xmlns.com/foaf/0.1/mbox_sha1sum
ead7cf21266740b6bcdb563dc12e6b1b
http://xmlns.com/foaf/0.1/topic_interest
Vérication symbolique
http://xmlns.com/foaf/0.1/topic_interest
Binary decision diagram
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest
Diagrammes de décisions binaires
http://xmlns.com/foaf/0.1/topic_interest
Term rewriting system
http://xmlns.com/foaf/0.1/firstName
Duy Tung
http://xmlns.com/foaf/0.1/name
Duy Tung Nguyen
http://xmlns.com/foaf/0.1/topic_interest
Symbolic verication
https://aurehal.archives-ouvertes.fr/author/897087
Télécharger au format
RDF/XML
Turtle
N3
Json