Opendata, web and dolomites
  1. home
  2. trasparenza
  3. open h2020
  4. per topic
  5. decidable

H2020 projects about "decidable"

The page lists 3 projects related to the topic "decidable".

# achronym  title  year 
1 CoqHoTT Coq for Homotopy Type Theory 2015
2 DeciGUT A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation 2018
3 ARiAT Advanced Reasoning in Arithmetic Theories 2020