Coalgebraic Tools for Bisimilarity and Decorated Trace Semantics.

Georgiana Caltais

Published in: CoRR (2015)

Keyphrases

information retrieval
building blocks
machine learning
description logics
decision support
semantic information
software tools
formal semantics
end users
logic programming
learning systems
operational semantics