The Logic of Multisets Continued: The Case of Disjunction.

Athanassios Tzouvaras

Published in: Stud Logica (2003)

Keyphrases

logic programming
databases
genetic algorithm
real valued
modal logic
logical framework
asynchronous circuits