search result

Cover von Computational aspects of an order-sorted logic with term declarations
Author: Schmidt-Schauß, Manfred Search for this author
Year: 1988
Publisher: Kaiserslautern
Media group: DISSERTATION
Cover von Computational aspects of an order-sorted logic with term declarations
Author: Schmidt-Schauß, Manfred Search for this author
Year: 1989
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 395
Media group: MONOGRAPHIE
Cover von Matching of Compressed Patterns with Character-Variables

Matching of Compressed Patterns with Character-Variables

Year: 2012
Media group: ARTICLE
Cover von 22nd International Conference on Rewriting Techniques and Applications (RTA'11)
May 30 - June 1, 2011, Novi Sad, Serbia
Search for this author
Year: 2011
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 10
Media group: LIPIcs
Cover von Nominal Unification with Atom and Context Variables

Nominal Unification with Atom and Context Variables

Year: 2018
Media group: LIPIcs
Cover von Observing Success in the Pi-Calculus

Observing Success in the Pi-Calculus

Year: 2015
Media group: OASICS
Cover von Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)

Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report)

Year: 2014
Media group: OASICS
Cover von Algorithms for Extended Alpha-Equivalence and Complexity

Algorithms for Extended Alpha-Equivalence and Complexity

Year: 2013
Media group: LIPIcs
Cover von Extending Abramsky's Lazy Lambda Calculus

Extending Abramsky's Lazy Lambda Calculus

(Non)-Conservativity of Embeddings
Year: 2013
Media group: LIPIcs
Cover von Simulation in the Call-by-Need Lambda-Calculus with letrec

Simulation in the Call-by-Need Lambda-Calculus with letrec

Year: 2010
Media group: ARTICLE
OPEN V 11.1.0.0