Modular Termination and Combinability for Superposition Modulo Counter Arithmetic.

Christophe Ringeissen Valerio Senni

Published in: FroCoS (2011)

Keyphrases

theorem proving
term rewriting
modular structure
rewrite systems
information retrieval
floating point
arithmetic operations
modular neural networks
artificial intelligence
image segmentation
query language
integrity constraints
modular architecture
modular neural network