Towards a Logic for Union Types.

Yiorgos Stavrinos Anastasia Veneti

Published in: Fundam. Informaticae (2012)

Keyphrases

logic programming
genetic algorithm
modal logic
multi valued
classical logic
computational properties
databases
data structure