From Hilbert's Program to a Logic Toolbox.

Johann A. Makowsky

Published in: LPAR (2007)

Keyphrases

modal logic
computer programs
software package
program synthesis
recursive programs
test cases
set theory
logical representation
information retrieval
logic programming
multi valued
declarative semantics
control program