search result

Cover von The Axiom of Choice in Cartesian Bicategories

The Axiom of Choice in Cartesian Bicategories

Year: 2019
Media group: LIPIcs
Cover von Graphical Conjunctive Queries

Graphical Conjunctive Queries

Year: 2018
Media group: LIPIcs
Cover von The Power of Convex Algebras

The Power of Convex Algebras

Year: 2017
Media group: LIPIcs
Cover von Refinement for Signal Flow Graphs

Refinement for Signal Flow Graphs

Year: 2017
Media group: LIPIcs
Cover von Towards Trace Metrics via Functor Lifting

Towards Trace Metrics via Functor Lifting

Year: 2015
Media group: LIPIcs
Cover von Behavioral Metrics via Functor Lifting

Behavioral Metrics via Functor Lifting

Year: 2014
Media group: LIPIcs
Cover von RPO semantics for mobile ambients

RPO semantics for mobile ambients

article
Year: 2014
Media group: ARTICLE
Cover von When Lawvere Meets Peirce

When Lawvere Meets Peirce

An Equational Presentation of Boolean Hyperdoctrines
Year: 2024
Media group: LIPIcs
Cover von Diagrammatic Polyhedral Algebra

Diagrammatic Polyhedral Algebra

Year: 2021
Media group: LIPIcs
Cover von On Doctrines and Cartesian Bicategories

On Doctrines and Cartesian Bicategories

Year: 2021
Media group: LIPIcs
OPEN V 11.1.0.0