dataHAL.science
Support
https://data.archives-ouvertes.fr/author/755961
https://data.archives-ouvertes.fr/author/755961
http://xmlns.com/foaf/0.1/topic_interest
Fixpoints
http://xmlns.com/foaf/0.1/topic_interest
Théorèmes -- Démonstration automatique
http://xmlns.com/foaf/0.1/topic_interest
Sémantique d'un programme
http://xmlns.com/foaf/0.1/topic_interest
Réécriture
http://xmlns.com/foaf/0.1/topic_interest
Norme
http://xmlns.com/foaf/0.1/topic_interest
Indécidabilité algorithmique
http://xmlns.com/foaf/0.1/topic_interest
Bit
http://xmlns.com/foaf/0.1/topic_interest
Variable
http://www.w3.org/2002/07/owl#sameAs
093841914
http://xmlns.com/foaf/0.1/topic_interest
Erreur
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest
Filtrage
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
Lambda-calculus
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/firstName
Benjamin
http://xmlns.com/foaf/0.1/topic_interest
Systèmes de informatique
http://xmlns.com/foaf/0.1/topic_interest
Filtres informatique
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ni
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest
Rewriting
http://xmlns.com/foaf/0.1/topic_interest
Rewriting calculus
http://xmlns.com/foaf/0.1/topic_interest
Fonction
http://xmlns.com/foaf/0.1/name
Benjamin Wack
http://xmlns.com/foaf/0.1/familyName
Wack
http://xmlns.com/foaf/0.1/topic_interest
Condition
http://xmlns.com/foaf/0.1/topic_interest
Image numérique
http://xmlns.com/foaf/0.1/topic_interest
Pixel
http://xmlns.com/foaf/0.1/topic_interest
Boucle
http://xmlns.com/foaf/0.1/topic_interest
Lambda-calcul
http://xmlns.com/foaf/0.1/topic_interest
Principe de Poincaré
http://xmlns.com/foaf/0.1/topic_interest
Langage de programmation
http://xmlns.com/foaf/0.1/topic_interest
Syntaxe d'un programme
http://xmlns.com/foaf/0.1/topic_interest
Séquence d'instructions
http://xmlns.com/foaf/0.1/topic_interest
Typage
http://xmlns.com/foaf/0.1/topic_interest
Déduction
http://xmlns.com/foaf/0.1/topic_interest
Pattern matching
http://xmlns.com/foaf/0.1/topic_interest
Codage de l'information
http://xmlns.com/foaf/0.1/topic_interest
Lambda calculus
http://xmlns.com/foaf/0.1/topic_interest
Poincaré principle
http://xmlns.com/foaf/0.1/topic_interest
Programme
http://xmlns.com/foaf/0.1/topic_interest
Term rewriting systems
http://xmlns.com/foaf/0.1/topic_interest
Stockage de l'information
http://xmlns.com/foaf/0.1/topic_interest
Algorithme
http://xmlns.com/foaf/0.1/topic_interest
Type systems
http://xmlns.com/foaf/0.1/topic_interest
Preuve de programme
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ds
https://aurehal.archives-ouvertes.fr/author/755961
Télécharger au format
RDF/XML
Turtle
N3
Json