Sciweavers

CONCUR
2010
Springer
15 years 20 days ago
Flat Coalgebraic Fixed Point Logics
Fixed point logics are widely used in computer science, in particular in artificial intelligence and concurrency. The most expressive logics of this type are the
Lutz Schröder, Yde Venema