A Calculus for Modular Loop Acceleration and Non-Termination Proofs.
Florian FrohnCarsten FuhsPublished in: CoRR (2021)
Keyphrases
- term rewriting
- theorem prover
- theorem proving
- natural deduction
- sequent calculus
- automated theorem proving
- proof search
- inference rules
- cut elimination
- rewrite systems
- type checking
- automated deduction
- proof procedure
- modular structure
- computer algebra
- formal proofs
- linear logic
- formal proof
- first order logic
- information retrieval
- feedback loop
- highly flexible
- decision procedures
- social networks
- modular neural networks
- equational theories
- mathematical knowledge
- real time
- modular architecture
- formal language
- bayesian networks
- information systems
- genetic algorithm
- machine learning
- neural network
- data sets