Fair Constraint Merging Tableaux in Lazy Functional Programming Style.

Reiner Hähnle Niklas Sörensson

Published in: TABLEAUX (2003)

Keyphrases

functional programming
functional language
execution model
programming language
quantifier elimination
object oriented programming
databases
modal logic
data flow
linear constraints
sliding window
business process