Bisimulation up-to techniques for psi-calculi.

Johannes Åman Pohjola Joachim Parrow

Published in: CPP (2016)

Keyphrases

topic maps
sequent calculi
qualitative spatial reasoning
qualitative spatial
qualitative spatial and temporal reasoning
data mining
real world
computer vision
e learning
database systems
domain knowledge
fuzzy logic
spatial reasoning
conditional logic
reasoning problems