-
1
-
2
-
3
-
4
-
5
Kruskal's Tree Theorem for Acyclic Term Graphs
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
6
Automated amortised resource analysis for term rewrite systems
Veröffentlicht in Science of computer programming
VolltextArtikel -
7
Traduzione automatica “neurale” per il ladino della Val Badia
Veröffentlicht in Ladinia
VolltextArtikel -
8
From Jinja bytecode to term rewriting: A complexity reflecting transformation
Veröffentlicht in Information and computation
VolltextArtikel -
9
A combination framework for complexity
Veröffentlicht in Information and computation
VolltextArtikel -
10
-
11
A modular cost analysis for probabilistic programs
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
12
Herbrand complexity and the epsilon calculus with equality
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
13
-
14
The Derivational Complexity Induced by the Dependency Pair Method
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
15
Automated Expected Value Analysis of Recursive Programs
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
16
-
17
-
18
-
19
-
20
A new order-theoretic characterisation of the polytime computable functions
Veröffentlicht in Theoretical computer science
VolltextArtikel