Rewriting Logic for Cyclic Sharing Structures (extended abstract).

Hiroyuki Miyoshi

Published in: Fuji International Symposium on Functional and Logic Programming (1998)

Keyphrases

extended abstract
information sharing
logic programming
data sets
modal logic
data sharing
structural features
automated reasoning
classical logic
computational properties
defeasible logic
asynchronous circuits
linear logic
rewriting rules