From Abstract Rewriting Systems to Abstract Proof Systems

Clemens Grabmayer

Published in: CoRR (2009)

Keyphrases

rewriting systems
management system
relational databases
object oriented
building blocks