Rewriting for Fitch Style Natural Deductions.

Herman Geuvers Rob Nederpelt

Published in: RTA (2004)

Keyphrases

real world
real time
genetic algorithm
database systems
digital libraries
man made
decision trees
case study
image segmentation
three dimensional
multiscale
rewrite rules