An On-line Problem Database.

Nachum Dershowitz Ralf Treinen

Published in: RTA (1998)

Keyphrases

database
databases
database schema
database systems
query language
relational databases
data management
database applications
hidden markov models
integrity constraints
stored data