[Lecture Notes in Computer Science] FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science Volume 1974 || Text Sparsification via Local Maxima

[Lecture Notes in Computer Science] FST

[Lecture Notes in Computer Science] FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science Volume 1974 || Is the Standard Proof System for SAT P-Optimal?

✍ Kapoor, Sanjiv; Prasad, Sanjiva 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 208 KB

[Lecture Notes in Computer Science] FST

[Lecture Notes in Computer Science] FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science Volume 2245 || A Mechanically Verified Compiling Specification for a Lisp Compiler

✍ Hariharan, Ramesh; Vinay, V.; Mukund, Madhavan 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 149 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 1346 || Model checking

✍ Ramesh, S.; Sivakumar, G 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 190 KB

This Book Constitutes The Refereed Proceedings Of The 17th International Conference On Foundations Of Software Technology And Theoretical Computer Science, Fsttcs'97. The 18 Revised Full Papers Presented Were Selected From A Total Of 68 Submissions. Also Included Are Five Invited Papers By Ed Clarke

[Lecture Notes in Computer Science] FSTT

[Lecture Notes in Computer Science] FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science Volume 4855 || Reductions to Graph Isomorphism

✍ Arvind, V.; Prasad, Sanjiva 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 397 KB

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with five invited papers were careful

[Lecture Notes in Computer Science] FSTT

[Lecture Notes in Computer Science] FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Volume 3328 || A Decidable Fragment of Separation Logic

✍ Lodaya, Kamal; Mahajan, Meena 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 180 KB

[Lecture Notes in Computer Science] FSTT

[Lecture Notes in Computer Science] FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science Volume 4855 || Covering Graphs with Few Complete Bipartite Subgraphs

✍ Arvind, V.; Prasad, Sanjiva 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 439 KB

This book constitutes the refereed proceedings of the 27th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2007, held in New Delhi, India, in December 2007. The 40 revised full papers presented together with five invited papers were careful

[Lecture Notes in Computer Science] FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science Volume 1974 || Text Sparsification via Local Maxima

✦ Synopsis