Fully Adequate Gentzen Systems and the Deduction Theorem.

Josep Maria Font Ramon Jansana Don Pigozzi

Published in: Reports Math. Log. (2001)

Keyphrases

computer systems
computing systems
database
data sets
artificial intelligence
digital libraries
control system
distributed systems
intelligent systems