Nonstandard propositional logics and their application to complexity theory.

Michael Evangelist

Published in: Notre Dame J. Formal Log. (1982)

Keyphrases

complexity theory
theoretical basis
data structure
first order logic
expressive power
knowledge base
image processing
computer graphics
modal logic