Informatik (15 755 Artikel)

On the duality of dynamic algebras and kripke models.- The deducibility problem in propositional dynamic logic.- PAL -- Propositional algorithmic logic.- Propositional dynamic logics of programs: A...

Essays Dedicated to Michael M. Richter on the Occasion of His 65th Birthday

The Marktoberdorf Summer Schools on Informatics were started in 1970, with the intention to convene every second or third year a group of top researchers in computing, devoted to preach their most ...

Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out ...

Invited Speakers.- Empirical Evidence for Embodied Semantics.- Natural Color Categories Are Convex Sets.- Concealed Questions with Quantifiers.- Specific, Yet Opaque.- Workshop on Implicature and G...

16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings

Welcome to the proceedings of the 14th WoLLIC meeting, which was held in Rio de Janeiro, Brazil, July 2 - 5, 2007. The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual...

This volume contains the papers presented at WoLLIC 2010: 17th Workshop on Logic, Language, Information and Computation held during July 6-9, 2010, on the campus of Universidade de Bras´ ?lia (UnB)...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 21st Workshop on Logic, Language, Information and Commun...

22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Commun...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 20th Workshop on Logic, Language, Information and Commun...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 23rd Workshop on Logic, Language, Information and Commun...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Commun...