Did you mean: schröder

search result

Cover von Monads on Categories of Relational Structures

Monads on Categories of Relational Structures

Year: 2021
Media group: LIPIcs
Cover von A Linear-Time Nominal ?-Calculus with Name Allocation

A Linear-Time Nominal ?-Calculus with Name Allocation

Year: 2021
Media group: LIPIcs
Cover von Explaining Behavioural Inequivalence Generically in Quasilinear Time

Explaining Behavioural Inequivalence Generically in Quasilinear Time

Year: 2021
Media group: LIPIcs
Cover von The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies

The Alternating-Time μ-Calculus with Disjunctive Explicit Strategies

Year: 2021
Media group: LIPIcs
Cover von Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

Graded Monads and Graded Logics for the Linear Time - Branching Time Spectrum

Year: 2019
Media group: LIPIcs
Cover von Network Investment Games with Wardrop Followers

Network Investment Games with Wardrop Followers

Year: 2019
Media group: LIPIcs
Cover von Inflection-Tolerant Ontology-Based Named Entity Recognition for Real-Time Applications

Inflection-Tolerant Ontology-Based Named Entity Recognition for Real-Time Applications

Author: Dengel, Andreas R.
Year: 2019
Media group: OASICS
Cover von Generic Trace Semantics and Graded Monads

Generic Trace Semantics and Graded Monads

Year: 2015
Media group: LIPIcs
Cover von Distributed, high-performance and grid computing in computational biology
international workshop, Eilat, Israel, January 21, 2007, proceedings
Search for this author
Year: 2007
Publisher: Berlin, Springer
Series: Lecture notes in bioinformatics; 4360
Media group: MONOGRAPHIE
Cover von High Beer Index Implies Big Hollow Triangles

High Beer Index Implies Big Hollow Triangles

Year: 2026
Media group: LIPIcs
OPEN V 11.1.0.0