Beckmann, Arnold

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

Conference or Workshop Item

Brünnler, Kai (2006). Deep inference and its normal form of derivations. In: Beckmann, Arnold; Berger, Ulrich; Löwe, Benedikt; Tucker, John V. (eds.) Logical Approaches to Computational Barriers. Second Conference on Computability in Europe, CiE 2006, Swansea, UK, July 2006, Proceedings. Lecture Notes in Computer Science: Vol. 3988 (pp. 65-74). Heidelberg: Springer Verlag 10.1007/11780342_7

This list was generated on Fri Mar 29 08:20:25 2024 CET.
Provide Feedback