Récemment recherché

Aucun résultat trouvé

Étiquettes

Aucun résultat trouvé

Document

Aucun résultat trouvé

Accueil Écoles Thèmes

Connexion

A general proof certification framework for modal logic

Partager "A general proof certification framework for modal logic"

N/A

N/A

Protected

Année scolaire: 2021

Info

Protected

Academic year: 2021

Partager "A general proof certification framework for modal logic"

Copied!

33

0

0

33

0

0

Chargement.... (Voir le texte intégral maintenant)

Télécharger maintenant ( 33 Page )

Texte intégral

Références

Télécharger maintenant ( PDF - 33 Page - 588.43 KB )

Documents relatifs

Documents relatifs

A General Multi-Agent Modal Logic K Framework for Game Tree Search

A General Multi-Agent Modal Logic K Framework for Game Tree Search

18

0

0

A focused framework for emulating modal proof systems

A focused framework for emulating modal proof systems

21

0

0

Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic

Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic

10

0

0

Generating Comprehensible Explanations in Description Logic

Generating Comprehensible Explanations in Description Logic

13

0

0

Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic

Implementation of an Automatic Sign Language Lexical Annotation Framework based on Propositional Dynamic Logic

9

0

0

Formal Certification of a Compiler Back-end

Formal Certification of a Compiler Back-end

13

0

0

Formal certification of a compiler back-end, or: programming a compiler with a proof assistant

Formal certification of a compiler back-end, or: programming a compiler with a proof assistant

14

0

0