Completeness and decidability of converse PDL in the constructive type theory of Coq.

Christian Doczkal Joachim Bard

Published in: CPP (2018)

Keyphrases

type checking
formal methods
theoretical framework
theoretical basis
general theory
description logics
computational model
formal theory
data sets
computer vision
theoretical foundation
information theory