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

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

http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/topic_interest Theorem proving
http://xmlns.com/foaf/0.1/topic_interest Program compilers
http://xmlns.com/foaf/0.1/topic_interest Competition
http://xmlns.com/foaf/0.1/topic_interest Graph theory
http://xmlns.com/foaf/0.1/topic_interest Functional correctness
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ms
http://xmlns.com/foaf/0.1/topic_interest Algebraic types
http://xmlns.com/foaf/0.1/topic_interest Term Rewriting
http://xmlns.com/foaf/0.1/topic_interest Software engineering
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest Predicate transformers
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Termination
http://xmlns.com/foaf/0.1/topic_interest Formal logic
http://xmlns.com/foaf/0.1/familyName Paskevich
http://xmlns.com/foaf/0.1/topic_interest Separation logic
http://xmlns.com/foaf/0.1/topic_interest Polymorphic types
http://xmlns.com/foaf/0.1/topic_interest Specifications
http://xmlns.com/foaf/0.1/topic_interest Computer software selection and evaluation
http://xmlns.com/foaf/0.1/topic_interest Formal Proof
http://xmlns.com/foaf/0.1/mbox_sha1sum d9496b996f5a180d818f551de5d534d1
http://xmlns.com/foaf/0.1/topic_interest Games
http://xmlns.com/foaf/0.1/topic_interest Deductive program verification
http://xmlns.com/foaf/0.1/topic_interest Satisfiability modulo theory
http://xmlns.com/foaf/0.1/topic_interest Formal language
http://xmlns.com/foaf/0.1/topic_interest Software verification
http://xmlns.com/foaf/0.1/topic_interest Artificial intelligence
http://xmlns.com/foaf/0.1/topic_interest Programming language
http://xmlns.com/foaf/0.1/topic_interest Why3
http://xmlns.com/foaf/0.1/topic_interest Automated theorem proving
http://xmlns.com/foaf/0.1/topic_interest Floyd-Hoare logic
http://xmlns.com/foaf/0.1/topic_interest Pattern matching
http://xmlns.com/foaf/0.1/topic_interest Decision procedures
http://xmlns.com/foaf/0.1/topic_interest SMT Solvers
http://xmlns.com/foaf/0.1/topic_interest Many-sorted first-order 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 Automated deduction
http://xmlns.com/foaf/0.1/topic_interest Unstructured programs
http://xmlns.com/foaf/0.1/topic_interest Static analysis
http://xmlns.com/foaf/0.1/topic_interest Verification
http://xmlns.com/foaf/0.1/topic_interest Exécutions infinies
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/tertium
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Infinite executions
http://www.w3.org/2002/07/owl#sameAs 204772567
http://xmlns.com/foaf/0.1/topic_interest Automated Reasoning
http://xmlns.com/foaf/0.1/topic_interest Triggers
http://xmlns.com/foaf/0.1/topic_interest Deductive software verification
http://xmlns.com/foaf/0.1/name Andrei Paskevich
http://xmlns.com/foaf/0.1/topic_interest Infinite behaviors
http://xmlns.com/foaf/0.1/topic_interest Jeux
http://xmlns.com/foaf/0.1/topic_interest Theories
http://xmlns.com/foaf/0.1/topic_interest Vérification déductive
http://xmlns.com/foaf/0.1/topic_interest First-order logic
http://xmlns.com/foaf/0.1/firstName Andrei
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest Quantifiers
http://xmlns.com/foaf/0.1/topic_interest Deductive Verification
http://xmlns.com/foaf/0.1/topic_interest Hoare Logic
http://xmlns.com/foaf/0.1/topic_interest Model checking
http://xmlns.com/foaf/0.1/topic_interest Ghost code
https://aurehal.archives-ouvertes.fr/author/1687

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