Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joachim Bard
Completeness and Decidability of Converse PDL in the Constructive Type Theory of Coq
Related publications
Decidability of Conversion for Type Theory in Type Theory
Proceedings of the ACM on Programming Languages
C2PDLS: A Combination of Combinatory and Converse PDL With Substitutions
Completeness and Decidability Results for First-Order Clauses With Indices
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Constructive Denotational Semantics for Kahn Networks in Coq
The Type Theoretic Interpretation of Constructive Set Theory: Inductive Definitions
Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science
And-Or Tableaux for Fixpoint Logics With Converse: LTL, CTL, PDL and CPDL
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Type Structure Complexity and Decidability
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Decidability of Irreducible Tree Shifts of Finite Type
Journal of Statistical Physics
Nonlinear Physics
Mathematical Physics
Statistical
Decidability and Definability Results Related to the Elementary Theory of Ordinal Multiplication
Fundamenta Mathematicae
Number Theory
Algebra
