Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings - Couverture souple

 
9783642209192: Logic, Language, Information, and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, Proceedings
Couverture souple
ISBN 10 : 364220919X ISBN 13 : 9783642209192
Editeur : Springer, 2011

Synopsis

This book constitutes the refereed proceedings of the 18th Workshop on Logic, Language, Information and Communication, WoLLIC 2011, held in Philadelphia, PA, USA, in May 2011. The 21 revised full papers presented were carefully reviewed and selected from 35 submissions. 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2011
Langue
anglais
ISBN 10 
364220919X
ISBN 13 
9783642209192
Reliure
Broché
Numéro d'édition
1
Nombre de pages
324
Éditeur
Beklemishev Lev D., De Queiroz Ruy
Coordonnées du fabricant
non disponible
Personne responsable
non disponible