Lutz Schröder - Dokumente zum Namen - alle Infos bei Yasni.de

(1 - 15 von 18

)

Lutz Schröder 800m Freistil 11:57,64 Minuten 1. PlatzSchwimmsportservice NRW

www.schwimmsportservicenrw.de

› urk0...

[ ] A Modal Characterization Theorem for a Probabilistic...

arxiv.org

Authors:Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König. (Submitted on 31 May (v1), last revised 4 Jun (this version, v2)). Abstract: The fuzzy ...

[PDF] Pädagogischen Hochschule Heidelberg - HRK nexuswww.hrk-nexus.de › Tagungen › Vortrag_Schroeder_PHHD

www.hrk-nexus.de

Impulse aus der Hochschulpraxis im Rahmen der nexus-Tagung. Anerkennung und Anrechnung an Hochschulen. Lutz Schröder, M.A..

[ ] A van Benthem Theorem for Fuzzy Modal Logic

arxiv.org

Authors:Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König. (Submitted on 1 Feb (v1), last revised 5 Feb (this version, v2)). Abstract: We present ...

[PDF] Nominals for Everyone - IJCAIwww.ijcai.org › Proceedings › Papers

www.ijcai.org

Lutz Schröder. DFKI Bremen and University of Bremen. . Dirk Pattinson Clemens Kupke. Imperial College London .ac.uk ckupke@doc ...

[ ] Characteristic Logics for Behavioural Hemimetrics via...

arxiv.org

· Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions. Authors:Paul Wild, Lutz Schröder · Download PDF. Abstract: In ...

[ ] Named Models in Coalgebraic Hybrid Logic

arxiv.org

Submission history. From: Lutz Schröder [view email] [v1] Tue, 5 Jan :25: 01 UTC (95 KB) [v2] Wed, 3 Feb :03:16 UTC (95 KB).

[ ] Common Knowledge of Abstract Groups - arXivarxiv.org › cs

arxiv.org

· Title:Common Knowledge of Abstract Groups. Authors:Merlin Humml, Lutz Schröder. Download a PDF of the paper titled Common Knowledge of ...

[ ] Unguarded Recursion on Coinductive Resumptions

arxiv.org

Authors:Sergey Goncharov, Lutz Schröder, Christoph Rauch, Julian Jakob · Download PDF. Abstract: We study a model of side-effecting processes obtained by ...

[ ] Stateful Structural Operational Semantics - arXivarxiv.org › cs

arxiv.org

· Stateful Structural Operational Semantics. Authors:Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, Henning Urbat.

[math ] Linearizability of Non-expansive Semigroup Actions on...

arxiv.org

Title:Linearizability of Non-expansive Semigroup Actions on Metric Spaces. Authors:Lutz Schröder. (Submitted on 19 Dec (v1), last revised 21 Dec

[ ] Subsumption Checking in Conjunctive Coalgebraic Fixpoint...

arxiv.org

Authors:Daniel Gorín, Lutz Schröder. (Submitted on 24 Jan (v1), last revised 6 Jun (this version, v5)). Abstract: While reasoning in a logic extending a ...

[ ] Quantitative Hennessy-Milner Theorems via Notions of...

arxiv.org

von J Forster · — Authors:Jonas Forster, Sergey Goncharov, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild · Download PDF. › cs

[ ] Simulations and Bisimulations For Coalgebraic Modal Logics

arxiv.org

Authors:Daniel Gorín, Lutz Schröder. (Submitted on 11 Mar (v1), last revised 11 Apr (this version, v2)). Abstract: We define a notion of ...

[ ] Behavioural Preorders via Graded Monads

arxiv.org

· Authors:Chase Ford, Stefan Milius, Lutz Schröder · Download PDF. Abstract: Like notions of process equivalence, behavioural preorders on ...

Verwandte Suchanfragen zu Lutz Schröder

Dennis Skley

Person "Schröder" (129)
Vorname "Lutz" (14652)
Name "Schröder" (7441)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Dokumente zum Namen Lutz Schröder