search result

Cover von The Ackermann Award 2024

The Ackermann Award 2024

Year: 2025
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2020
Media group: LIPIcs
Cover von 28th EACSL Annual Conference on Computer Science Logic
CSL 2020, January 13 - 16, 2020, Barcelona, Spain
Search for this author
Year: 2020
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 152
Media group: LIPIcs
Cover von Dependent Types for Nominal Terms with Atom Substitutions

Dependent Types for Nominal Terms with Atom Substitutions

Year: 2015
Media group: LIPIcs
Cover von Graph Transformation
16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19 - 20, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 13961
Media group: MONOGRAPHIE
Cover von The Ackermann Award 2023

The Ackermann Award 2023

Year: 2024
Media group: LIPIcs
Cover von A Certified Algorithm for AC-Unification

A Certified Algorithm for AC-Unification

Year: 2022
Media group: LIPIcs
Cover von Fixed-Point Constraints for Nominal Equational Unification

Fixed-Point Constraints for Nominal Equational Unification

Year: 2018
Media group: LIPIcs
Cover von Nominal Narrowing

Nominal Narrowing

Year: 2016
Media group: LIPIcs
Cover von The Semantic Web: ESWC 2020 Satellite Events
ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 - June 4, 2020, Revised Selected Papers
Search for this author
Year: 2020
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 12124
Media group: MONOGRAPHIE
OPEN V 11.1.0.0