Automated Synthesis of Tableau Calculi

Renate A. Schmidt Dmitry Tishkovsky

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

description logics
semi automated
computer aided
fully automated
program synthesis
database
real world
digital libraries
evolutionary algorithm
functional programs
sequent calculi