| No. |
Title |
Author |
Year |
| 1 |
Nominal Anti-Unification with Atom-Variables |
Schmidt-Schauß, Manfred et al. |
2022 |
| 2 |
Nominal Unification with Atom and Context Variables |
Schmidt-Schauß, Manfred et al. |
2018 |
| 3 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
Chiba, Yuki et al. |
2015 |
| 4 |
OASIcs, Volume 46, WPTE'15, Complete Volume |
Chiba, Yuki et al. |
2015 |
| 5 |
Observing Success in the Pi-Calculus |
Sabel, David et al. |
2015 |
| 6 |
Two-Restricted One Context Unification is in Polynomial Time |
Gascón, Adrià et al. |
2015 |
| 7 |
Contextual Equivalences in Call-by-Need and Call-By-Name Polymorphically Typed Calculi (Preliminary Report) |
Schmidt-Schauß, Manfred et al. |
2014 |
| 8 |
Frontmatter, Table of Contents, Preface, Workshop Organization |
Schmidt-Schauß, Manfred et al. |
2014 |
| 9 |
OASIcs, Volume 40, WPTE'14, Complete Volume |
Schmidt-Schauß, Manfred et al. |
2014 |
| 10 |
Algorithms for Extended Alpha-Equivalence and Complexity |
Schmidt-Schauß, Manfred et al. |
2013 |
| 11 |
Extending Abramsky's Lazy Lambda Calculus: (Non)-Conservativity of Embeddings |
Schmidt-Schauß, Manfred et al. |
2013 |
| 12 |
LIPIcs, Volume 10, RTA'11, Complete Volume |
Schmidt-Schauß, Manfred |
2013 |
| 13 |
Matching of Compressed Patterns with Character-Variables |
Schmidt-Schauß, Manfred |
2012 |
