Publications

Export 3 results:
Filters: Author is Ulrich Berger  [Clear All Filters]
2006
Brünnler, K.: Deep inference and its normal form of derivations. In: Beckmann, A., Berger, U., Löwe, B., and Tucker, J.V. Proceedings of Computability in Europe. pp. 65-74. Springer (2006).