[Lecture Notes in Computer Science] STACS 99 Volume 1563 || The Reduced Genus of a Multigraph

[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 99 Volume 1563 || Fast Computations of the Exponential Function

✍ Meinel, Christoph; Tison, Sophie 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 175 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 99 Volume 1563 || In How Many Steps the k Peg Version of the Towers of Hanoi Game Can Be Solved?

✍ Meinel, Christoph; Tison, Sophie 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 110 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 88 Volume 294 || On the k-colouring of circle-graphs

✍ Cori, Robert; Wirsing, Martin 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 German ⚖ 647 KB

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 2001 Volume 2010 || Semantical Principles in the Modal Logic of Coalgebras

✍ Ferreira, Afonso; Reichel, Horst 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 157 KB

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 2004 Volume 2996 || The Complexity of Satisfiability Problems over Finite Lattices

✍ Diekert, Volker; Habib, Michel 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 212 KB