search result

Cover von Treating Congruences as Equalities Within Proofs

Treating Congruences as Equalities Within Proofs

Year: 2026
Media group: LIPIcs
Cover von Linear Logic Using Negative Connectives

Linear Logic Using Negative Connectives

Year: 2025
Media group: LIPIcs
Cover von Mechanized Metatheory Revisited

Mechanized Metatheory Revisited

An Extended Abstract (Invited Paper)
Year: 2018
Media group: LIPIcs
Cover von LIPIcs, Volume 84, FSCD'17, Complete Volume

LIPIcs, Volume 84, FSCD'17, Complete Volume

Year: 2017
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers

Front Matter, Table of Contents, Preface, Steering Committee, Program Committee, External Reviewers

Year: 2017
Media group: LIPIcs
Cover von 2nd International Conference on Formal Structures for Computation and Deduction
FSCD 2017, September 3 - 9, 2017, Oxford, UK
Search for this author
Year: 2017
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 84
Media group: LIPIcs
Cover von Functions-as-Constructors Higher-Order Unification

Functions-as-Constructors Higher-Order Unification

Year: 2016
Media group: LIPIcs
Cover von Separating Functional Computation from Relations

Separating Functional Computation from Relations

Year: 2017
Media group: LIPIcs
Cover von Functional and Logic Programming
17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings
Search for this author
Year: 2024
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 14659
Media group: MONOGRAPHIE
Cover von A Positive Perspective on Term Representation (Invited Talk)

A Positive Perspective on Term Representation (Invited Talk)

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0