New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Lire la suite
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; ...
Lire la suite
Relations and Kleene Algebra in Computer Science
This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...
Lire la suite
Rewriting, Computation and Proof
This Festschrift volume published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed ...
Lire la suite
Theorem Proving in Higher Order Logics
This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs ...
Lire la suite
Theory and Applications of Satisfiability Testing (vol. # 3569)
SAT is the classic problem of determining whether or not a propositional formula has a satisfying truth assignment. It was ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suite
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suite
