Login / Signup
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting.
Frédéric Blanqui
Guillaume Genestier
Olivier Hermant
Published in:
CoRR (2019)
Keyphrases
</>
type checking
presburger arithmetic
term rewrite systems
rewrite rules
databases
formal theory
algebraic structure
neural network
decision making
website
multiscale
data structure
theoretical basis
dependency relations
termination analysis