A UTP Semantics of pGCL as a Homogeneous Relation.

Riccardo Bresciani Andrew Butterfield

Published in: IFM (2012)

Keyphrases

metadata
semantic information
logic programming
database
formal semantics
binary relations
abstract argumentation
logic programs
conceptual graphs
real time
information retrieval
case study
image sequences
xml keys