Communication as Unification in the Petri Box Calculus.

Hanna Klaudel Elisabeth Pelz

Published in: FCT (1995)

Keyphrases

automated theorem proving
theorem proving
communication systems
information exchange
higher order
information sharing
communication networks
communication protocol
communication overhead
databases
artificial intelligence
information systems
computer networks
resource constrained