Computer Arithmetic: Logic, Calculus and Rewriting.
Marco BeniniDirk NowotkaCarl PulleyPublished in: FroCoS (1998)
Keyphrases
- computer algebra
- computer systems
- algebraic structure
- formal language
- modal logic
- proof procedure
- logic programming
- classical logic
- sequent calculus
- cut elimination
- automated reasoning
- multi valued
- relation algebra
- propositional logic
- active rules
- conjunctive queries
- type checking
- database systems
- tableau calculus
- micron cmos