search result

Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2018
Media group: LIPIcs
Cover von 27th EACSL Annual Conference on Computer Science Logic
CSL 2018 : September 4 - 7, 2018, Birmingham, GB
Search for this author
Year: 2018
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 119
Media group: LIPIcs
Cover von Rewriting Modulo Traced Comonoid Structure

Rewriting Modulo Traced Comonoid Structure

Year: 2023
Media group: LIPIcs
Cover von The Dynamic Geometry of Interaction Machine

The Dynamic Geometry of Interaction Machine

A Call-by-Need Graph Rewriter
Year: 2017
Media group: LIPIcs
Cover von Diagrammatic Semantics for Digital Circuits

Diagrammatic Semantics for Digital Circuits

Year: 2017
Media group: LIPIcs
Cover von String Diagrams for Non-Strict Monoidal Categories

String Diagrams for Non-Strict Monoidal Categories

Year: 2023
Media group: LIPIcs
Cover von Leaving the Nest

Leaving the Nest

Nominal Techniques for Variables with Interleaving Scopes
Year: 2015
Media group: LIPIcs
Cover von Functorial String Diagrams for Reverse-Mode Automatic Differentiation

Functorial String Diagrams for Reverse-Mode Automatic Differentiation

Year: 2023
Media group: LIPIcs
Cover von Rewriting for Monoidal Closed Categories

Rewriting for Monoidal Closed Categories

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0