Publications

Export 15 results:
Filters: Author is Kai Brünnler  [Clear All Filters]
2005
Brünnler, K., Lengrand, S.: On two forms of bureaucracy in derivations. In: Bruscoli, P., Lamarche, F., and Stewart, C. Proceedings of Structures and Deduction. pp. 65-74. Technische Universität Dresden (2005).