Certification for μ-Calculus with Winning Strategies.

Martin Hofmann Christian Neukirchen Harald Rueß

Published in: SPIN (2016)

Keyphrases

selection strategies
database
data sets
databases
real world
information systems
e learning
database systems
search algorithm
query language
knowledge representation
online auctions