Size and Logic.

Dov M. Gabbay Karl Schlechta

Published in: Rev. Symb. Log. (2009)

Keyphrases

real time
databases
information retrieval
computational complexity
logic programming
model checking
modal logic
standard deviation
fixed size
web services
multi agent systems
programming language
predicate logic
abductive reasoning
epistemic logic
asynchronous circuits