Login / Signup
A Note on the Proof-Theoretic Strength of a Single Application of the Schema of Identity.
Matthias Baaz
Christian G. Fermüller
Published in:
Proof Theory in Computer Science (2001)
Keyphrases
</>
proof theoretic
databases
database
database systems
artificial intelligence
relational databases
xml schema
proof theory