๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[Lecture Notes in Computer Science] STACS 2006 Volume 3884 || Generalized Modal Satisfiability

โœ Scribed by Durand, Bruno; Thomas, Wolfgang

Book ID
121818782
Publisher
Springer Berlin Heidelberg
Year
2006
Tongue
English
Weight
185 KB
Edition
1
Category
Article
ISBN
3540322884

No coin nor oath required. For personal study only.

โœฆ Synopsis

This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held in February 2006. The 54 revised full papers presented together with three invited papers were carefully reviewed and selected from 283 submissions. The papers address the whole range of theoretical computer science including algorithms and data structures, automata and formal languages, complexity theory, semantics, and logic in computer science.

๐Ÿ“œ SIMILAR VOLUMES

[Lecture Notes in Computer Science] STAC
[Lecture Notes in Computer Science] STACS 99 Volume 1563 || Worst-Case Equilibria
โœ Meinel, Christoph; Tison, Sophie ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 151 KB

This Book Constitutes The Refereed Proceedings Of The 16th Annual Symposium On Theoretical Aspects Of Computer Science, Stacs 99, Held In Trier, Germany In March 1999. The 51 Revised Full Papers Presented Were Selected From A Total Of 146 Submissions. Also Included Are Three Invited Papers. The Volu

[Lecture Notes in Computer Science] STAC
[Lecture Notes in Computer Science] STACS 2003 Volume 2607 || One Bit of Advice
โœ Alt, Helmut; Habib, Michel ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Springer Berlin Heidelberg ๐ŸŒ German โš– 193 KB

This Book Constitutes The Refereed Proceedings Of The 20th Annual Symposium On Theoretical Aspects Of Computer Science, Stacs 2003, Held In Berlin, Germany In February/march 2003. The 58 Revised Full Papers Presented Together With 2 Invited Papers Were Carefully Reviewed And Selected From 253 Submis