Gap-Definability as a Closure Property.

Stephen A. Fenner Lance Fortnow Lide Li

Published in: STACS (1993)

Keyphrases

fixed point
propositional logic
database
data sets
information retrieval
information systems
metadata
website
data structure
sufficient conditions
monotonicity property