Distributed logic objects: A fragment of rewriting logic and its implementation.

Anna Ciampolini Evelina Lamma Paola Mello Cesare Stefanelli

Published in: WRLA (1996)

Keyphrases

logic programming
classical logic
proof theory
modal logic
multi valued
databases
distributed systems
predicate logic
micron cmos