https://data.archives-ouvertes.fr/author/1284

https://data.archives-ouvertes.fr/author/1284

http://xmlns.com/foaf/0.1/topic_interest Composition
http://xmlns.com/foaf/0.1/topic_interest Règles
http://xmlns.com/foaf/0.1/topic_interest Casl
http://xmlns.com/foaf/0.1/topic_interest Réécriture
http://xmlns.com/foaf/0.1/topic_interest Constraint reasoning
http://xmlns.com/foaf/0.1/topic_interest Term rewriting
http://xmlns.com/foaf/0.1/topic_interest Filtres mathématiques
http://xmlns.com/foaf/0.1/topic_interest Algebraic specifications
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ir
http://xmlns.com/foaf/0.1/topic_interest Combination problem
http://xmlns.com/foaf/0.1/topic_interest Deduction Completeness
http://xmlns.com/foaf/0.1/topic_interest Matching
http://xmlns.com/foaf/0.1/topic_interest Généralisation
http://xmlns.com/foaf/0.1/topic_interest Pattern matching
http://xmlns.com/foaf/0.1/topic_interest Calcul de réécriture
http://xmlns.com/foaf/0.1/topic_interest Conception de solveur
http://xmlns.com/foaf/0.1/topic_interest Abelian Groups
http://xmlns.com/foaf/0.1/topic_interest Equational theories
http://xmlns.com/foaf/0.1/topic_interest Combination method
http://xmlns.com/foaf/0.1/topic_interest Data Exchange Format
http://xmlns.com/foaf/0.1/topic_interest Langage de coopération
http://xmlns.com/foaf/0.1/topic_interest Bridging Functions
http://xmlns.com/foaf/0.1/topic_interest Programmation par règles
http://xmlns.com/foaf/0.1/topic_interest Format d'échange de données
http://xmlns.com/foaf/0.1/topic_interest Model-checking
http://xmlns.com/foaf/0.1/topic_interest Rule-based programming
http://xmlns.com/foaf/0.1/topic_interest Non-disjoint union of theories
http://xmlns.com/foaf/0.1/topic_interest Superposition
http://xmlns.com/foaf/0.1/topic_interest Raisonnement avec contraintes
http://xmlns.com/foaf/0.1/topic_interest Inter-opérabilité
http://xmlns.com/foaf/0.1/topic_interest Schematic saturation
http://xmlns.com/foaf/0.1/topic_interest Web service
http://xmlns.com/foaf/0.1/topic_interest Finite domains
http://xmlns.com/foaf/0.1/topic_interest Procédures de décision
http://xmlns.com/foaf/0.1/topic_interest Rewriting systems
http://xmlns.com/foaf/0.1/topic_interest Mélange de théories
http://xmlns.com/foaf/0.1/topic_interest Spécification algébrique
http://xmlns.com/foaf/0.1/topic_interest Proof generalization
http://xmlns.com/foaf/0.1/topic_interest Algorithmes
http://xmlns.com/foaf/0.1/topic_interest Satisfiability
http://xmlns.com/foaf/0.1/topic_interest Decision procedure
http://xmlns.com/foaf/0.1/topic_interest Union of Non-Disjoint Theories
http://xmlns.com/foaf/0.1/topic_interest Problèmes de satisfaisabilité
http://xmlns.com/foaf/0.1/topic_interest Réutilisation
http://xmlns.com/foaf/0.1/topic_interest Génie logiciel
http://xmlns.com/foaf/0.1/topic_interest Combinaison
http://xmlns.com/foaf/0.1/topic_interest Constraint solving
http://xmlns.com/foaf/0.1/topic_interest Théories équationnelles
http://xmlns.com/foaf/0.1/topic_interest Arithmetic
http://xmlns.com/foaf/0.1/topic_interest Compilation
http://xmlns.com/foaf/0.1/topic_interest Domaines finis
http://xmlns.com/foaf/0.1/topic_interest Canonizer
http://xmlns.com/foaf/0.1/topic_interest Constraint programming
http://xmlns.com/foaf/0.1/topic_interest Langage à base de règles
http://xmlns.com/foaf/0.1/topic_interest Algebraic specification
http://xmlns.com/foaf/0.1/topic_interest Filtrage
http://xmlns.com/foaf/0.1/topic_interest Combination of satisfiability procedures
http://xmlns.com/foaf/0.1/topic_interest Decision procedures
http://xmlns.com/foaf/0.1/topic_interest Many-sorted logic
http://xmlns.com/foaf/0.1/topic_interest Stratégie
http://xmlns.com/foaf/0.1/topic_interest Privacy
http://xmlns.com/foaf/0.1/topic_interest Generalization
http://xmlns.com/foaf/0.1/topic_interest Programming methodology
http://xmlns.com/foaf/0.1/topic_interest Règles de propagation
http://xmlns.com/foaf/0.1/topic_interest Interopérabilité
http://xmlns.com/foaf/0.1/topic_interest Parsing
http://xmlns.com/foaf/0.1/topic_interest Rewrite based language
http://xmlns.com/foaf/0.1/topic_interest Software reuse
http://www.w3.org/2002/07/owl#sameAs 144407620
http://xmlns.com/foaf/0.1/topic_interest Equational programs
http://xmlns.com/foaf/0.1/topic_interest Combination
http://xmlns.com/foaf/0.1/topic_interest Cooperation language
http://xmlns.com/foaf/0.1/topic_interest Interchange format
http://xmlns.com/foaf/0.1/topic_interest Format d'échange
http://xmlns.com/foaf/0.1/topic_interest Programmation avec règles et stratégies
http://xmlns.com/foaf/0.1/topic_interest Computational systems
http://xmlns.com/foaf/0.1/topic_interest Rule-based language
http://xmlns.com/foaf/0.1/topic_interest Environnement meta
http://xmlns.com/foaf/0.1/topic_interest Spécifications algébriques
http://xmlns.com/foaf/0.1/topic_interest Non-Disjoint Theories
http://xmlns.com/foaf/0.1/topic_interest Provisioning
http://xmlns.com/foaf/0.1/topic_interest Integer Offsets
http://xmlns.com/foaf/0.1/topic_interest Satisfiability Procedure
http://xmlns.com/foaf/0.1/topic_interest Vérification de modèle
http://xmlns.com/foaf/0.1/topic_interest Analyse syntaxique
http://xmlns.com/foaf/0.1/topic_interest Finite algebras
http://xmlns.com/foaf/0.1/topic_interest Solveur
http://xmlns.com/foaf/0.1/topic_interest Constraints
http://xmlns.com/foaf/0.1/topic_interest Programming with rules and strategies
http://xmlns.com/foaf/0.1/topic_interest Réécriture de termes
http://xmlns.com/foaf/0.1/topic_interest Unification
http://xmlns.com/foaf/0.1/topic_interest Automated deduction
http://xmlns.com/foaf/0.1/topic_interest Rewriting calculus
http://xmlns.com/foaf/0.1/topic_interest Rewriting
http://xmlns.com/foaf/0.1/topic_interest Solver
http://xmlns.com/foaf/0.1/name Christophe Ringeissen
http://xmlns.com/foaf/0.1/topic_interest Logique
http://xmlns.com/foaf/0.1/topic_interest Formal specification
http://xmlns.com/foaf/0.1/topic_interest Constraint solver design
http://xmlns.com/foaf/0.1/topic_interest Syntactic Theories
http://xmlns.com/foaf/0.1/topic_interest Algèbres finies
http://xmlns.com/foaf/0.1/topic_interest Combination problems
http://xmlns.com/foaf/0.1/topic_interest Deduction techniques
http://xmlns.com/foaf/0.1/topic_interest Meta environment
http://xmlns.com/foaf/0.1/topic_interest Logique de réécriture
http://xmlns.com/foaf/0.1/topic_interest Problèmes de combinaison
http://xmlns.com/foaf/0.1/topic_interest Canoniseur
http://xmlns.com/foaf/0.1/topic_interest Conflict Set
http://xmlns.com/foaf/0.1/topic_interest Algebraic and logical foundations
http://xmlns.com/foaf/0.1/topic_interest Extension de solveur
http://xmlns.com/foaf/0.1/topic_interest Contraintes
http://xmlns.com/foaf/0.1/topic_interest Combination of Theories
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest Strategy
http://xmlns.com/foaf/0.1/topic_interest Logic
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 Decision problems
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-wb
http://xmlns.com/foaf/0.1/topic_interest Programmes équationnels
http://xmlns.com/foaf/0.1/topic_interest Forward-closure
http://xmlns.com/foaf/0.1/topic_interest Bridging function
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/christophe-ringeissen
http://xmlns.com/foaf/0.1/topic_interest Rules
http://xmlns.com/foaf/0.1/mbox_sha1sum f569a942fa70f360f2e2dffe5191cd68
http://xmlns.com/foaf/0.1/topic_interest Paramétrisation de composants
http://xmlns.com/foaf/0.1/topic_interest Raisonnement équationnel
http://xmlns.com/foaf/0.1/topic_interest Software engineering
http://xmlns.com/foaf/0.1/topic_interest Rewriting logic
http://xmlns.com/foaf/0.1/topic_interest Equational Reasoning
http://xmlns.com/foaf/0.1/familyName Ringeissen
http://xmlns.com/foaf/0.1/topic_interest Combinaison de procédures de satisfaisabilité
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Constraint-based reasoning
http://xmlns.com/foaf/0.1/topic_interest Fondements algébriques et logiques
http://xmlns.com/foaf/0.1/topic_interest Programmation avec contraintes
http://xmlns.com/foaf/0.1/topic_interest Component parameterization
http://xmlns.com/foaf/0.1/topic_interest Déduction automatique
http://xmlns.com/foaf/0.1/topic_interest Spécification formelle
http://xmlns.com/foaf/0.1/topic_interest Méthodologie de la programmation
http://xmlns.com/foaf/0.1/topic_interest Propagation rules
http://xmlns.com/foaf/0.1/topic_interest Satisfiability Modulo Theories
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mc
http://xmlns.com/foaf/0.1/topic_interest Unions of theories
http://xmlns.com/foaf/0.1/topic_interest Procédure de décision
http://xmlns.com/foaf/0.1/topic_interest Elan
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Solver extension
http://xmlns.com/foaf/0.1/topic_interest Programming with constraints
http://xmlns.com/foaf/0.1/topic_interest Résolution de contraintes
http://xmlns.com/foaf/0.1/topic_interest Tool inter-operability
http://xmlns.com/foaf/0.1/firstName Christophe
http://xmlns.com/foaf/0.1/topic_interest Rewriting approach to satisfiability procedures
http://xmlns.com/foaf/0.1/topic_interest Asymmetric unification
http://xmlns.com/foaf/0.1/topic_interest Software technology
https://aurehal.archives-ouvertes.fr/author/1284

Télécharger au format  
RDF/XML Turtle N3 Json