A calculus for modular loop acceleration and non-termination proofs.
Florian FrohnCarsten FuhsPublished in: Int. J. Softw. Tools Technol. Transf. (2022)
Keyphrases
- term rewriting
- theorem proving
- theorem prover
- natural deduction
- sequent calculus
- automated theorem proving
- cut elimination
- proof search
- rewrite systems
- type checking
- linear logic
- decision procedures
- automated deduction
- inference rules
- data mining
- first order logic
- modular structure
- computer algebra
- data sets
- mathematical knowledge
- modular neural network
- database
- proof procedure
- highly flexible
- operational semantics
- temporal reasoning
- information systems
- genetic algorithm