Comparing Counting Classes for Logspace, One-way Logspace, and First-order.

Hans-Jörg Burtschick

Published in: MFCS (1995)

Keyphrases

dl lite
description logics
first order logic
information retrieval
database systems
class hierarchy
website
support vector
data model
higher order