search result

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
Cover von Programming with Higher-Order Logic
Author: Miller, Dale; Nadathur, Gopalan Search for this author
Year: 2012
Publisher: Cambridge, Cambridge University Press
Media group: MONOGRAPHIE
OPEN V 11.1.0.0