Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL)
Third party funded individual grant
Acronym:
ProbDL
Start date :
01.04.2011
A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013)
Goncharov S, Schröder L
Conference contribution, Original article
Integrating generic sensor fusion algorithms with sound state representations through encapsulation of manifolds (2013)
Hertzberg C, Wagner R, Frese U, Schröder L
Journal article, Original article
Exploring the Boundaries of Monad Tensorability on Set (2013)
Bowler N, Goncharov S, Levy P, Schröder L
Journal article, Original article
A coinductive calculus for asynchronous side-effecting processes (2013)
Goncharov S, Schröder L
Journal article, Original article
Preface (2013)
Mossakowski T, Roggenbach M, Schröder L
Journal article, Editorial
Proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2012) (2012)
Pattinson D, Schröder L
Edited Volume
Narcissists Are Easy, Stepmothers Are Hard (2012)
Gorin D, Schröder L
Conference contribution, Original article
Extending ALCQ With Bounded Self-Reference (2012)
Gorin D, Schröder L
Conference contribution, Original article
Coalgebraic Predicate Logic (2012)
Litak T, Pattinson D, Sano K, Schröder L
Conference contribution, Original article