Contractions in Comparing Concurrent Semantics.

Joost N. Kok Jan J. M. M. Rutten

Published in: ICALP (1988)

Keyphrases

formal semantics
logic programming
data sets
specification language
neural network
information retrieval
artificial intelligence
knowledge base
search algorithm
conceptual model
semantic representation
intended meaning