EasyChair Smart SlideDocs/Log in
Author: Lutz Schröder

This page shows all presentations of this author published in EasyChair Smart Slide.

Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability

Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability

Axel Adrian, Stephanie Evert, Michael Kohlhase, Andreas Maier, Lutz Schröder, Osman Anil Basaran, Steffen Bothe, Merlin Humml, Stephan Prettner, Max Gabriel Rapp, Michael Gritz, Verena Stürmer, Johannes Lindner and Moritz Blöcher

COOL 2 - a Generic Reasoner for Modal Fixpoint Logics

COOL 2 - a Generic Reasoner for Modal Fixpoint Logics

Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker and Lutz Schröder

A van Benthem Theorem for Fuzzy Modal Logic

A van Benthem Theorem for Fuzzy Modal Logic

Paul Wild, Lutz Schröder, Dirk Pattinson and Barbara König

Presentations in this collection: 3
Copyright © 2002 – 2025 EasyChair