Implementation and Application of Functional Languages
This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional ...
Continue reading
Implementation and Application of Functional Languages (vol. # 3474)
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
Continue reading
Implementation and Application of Functional Languages (vol. # 4015)
The 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) was held in Dublin, ...
Continue reading
Implementation and Application of Functional Languages : 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the 19th International Workshop on Implementation and Applications ...
Continue reading
Implementation of Functional Languages
This book constitutes the thoroughly refereed post-proceedings of the 15th International Workshop on the Implementation of ...
Continue reading
International Symposium on Fundamentals of Software Engineering
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering ...
Continue reading
Leveraging Applications of Formal Methods
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications ...
Continue reading
Logic for Computer Scientists
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452)
This volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Continue reading
Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835)
Constitutes the refereed proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence, ...
Continue reading
Logical Foundations of Computer Science
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, ...
Continue reading
Mathematical Knowledge Management (vol. # 3863)
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 ...
Continue reading
Mechanizing Mathematical Reasoning
By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
Continue reading
Programming Languages and Systems
This volume contains the papers presented at the 27th European Symposium on Pro-gramming (ESOP 2018) held 2018, in Thessaloniki, ...
Continue reading
Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed postproceedings of the 18th International Workshop on Algebraic Development ...
Continue reading
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Continue reading
Tests and Proofs
Constitutes the thoroughly refereed post-proceedings of the First International Conference on Test and Proofs, TAP 2007, ...
Continue reading
Tests and Proofs : 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings
This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue reading
The Seventeen Provers of the World
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk ...
Continue reading
Theorem Proving in Higher Order Logics
Constitutes the proceedings of the 20th International Conference on Theorem Proving in Higher-Order Logics (TPHOLs 2007) ...
Continue reading
