Georg Moser (Universit\"at Innsbruck

Identifiers

No identifiers captured yet.

Papers (2)

1. Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis cs.LO · 2017 · author #3
2. Kruskal's Tree Theorem for Acyclic Term Graphs cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Austria) 2 shared papers
• France) 1 shared papers
• Guillaume Bonfante (Universit\'e de Lorraine 1 shared papers
• Maria A. Schett (Universit\"at Innsbruck 1 shared papers