Author(s) | Benz, Anton & Fabienne Salfner |
Date of publication | 2013 |
Compilation title | Logic, Language, and Computation. 9th international Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, LNCS 7758 |
Editor(s) | Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra & Frank Richter (eds.) |
Pages | 35-50 |
Publisher | Springer |
Place | Berlin |
Publisher website | |
Final draft | |
10.1007/978-3-642-36976-6_5 | |
Peer-reviewed |