Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot

Logical Aspects of Computational Linguistics - 2005

978-3-540-31953-5


Mathematical Logic and Formal Languages
Computer Science