✦ LIBER ✦

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2005 Volume 3618 || A BDD-Representation for the Logic of Equality and Uninterpreted Functions

✍ Scribed by Jȩdrzejowicz, Joanna; Szepietowski, Andrzej

Book ID: 121400186
Publisher: Springer Berlin Heidelberg
Year: 2005
Weight: 216 KB
Category: Article
ISBN: 3540318674
DOI: 10.1007/11549345_66

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 2005 Volume 3618 || The Complexity of Satisfiability Problems: Refining Schaefer’s Theorem

✍ Jȩdrzejowicz, Joanna; Szepietowski, Andrzej 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 216 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1978 Volume 64 || The completeness of propositional dynamic logic

✍ Winkowski, J. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 551 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 1234 || Models for the logic of proofs

✍ Adian, Sergei; Nerode, Anil 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 486 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1989 Volume 379 || A coloring algorithm for interval graphs

✍ Kreczmar, Antoni; Mirkowska, Grazyna 📂 Article 📅 1989 🏛 Springer Berlin Heidelberg ⚖ 482 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1979 Volume 74 || A reduct-and-closure algorithm for graphs

✍ Bečvář, Jiří 📂 Article 📅 1979 🏛 Springer Berlin Heidelberg ⚖ 292 KB

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1986 Volume 233 || Model and complexity of termination for distributed computations

✍ Gruska, Jozef; Rovan, Branislav; Wiedermann, Juraj 📂 Article 📅 1986 🏛 Springer-Verlag 🌐 German ⚖ 417 KB

Edited By J. Gruska, B. Rovan, And J. Wiedermann. Papers Presented At The 12th Symposium On Mathematical Foundations Of Computer Science. Includes Bibliographies.