Ulrich Kohlenbach profile picture

Ulrich Kohlenbach

Is this your author profile? Create an account to customize it!

Stand Alone

Logic Colloquium 2007
Logic Colloquium 2007
Logic Colloquium 2007
Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Logic, Language, Information, and Computation 20th International Workshop, Wollic 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Logic, Language, Information, and Computation
Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings