Tallenna
Logic, Language, Information, and Computation
Among the topics covered are various aspects of mathematical logic, computer science logics, philosophical logics, such as complexity theory, model theory, partial order, Hoare logics, hybrid logics, Turing machines, etc.
- Alaotsikko
- 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
- Toimittaja
- Lev D. Beklemishev, Ruy de Queiroz
- ISBN
- 9783642209192
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 2.5.2011
- Sivumäärä
- 311
