| Invited Lectures Notions of Average-Case Complexity for Random 3-SAT Abstract Interpretation of Proofs: Classical Propositional Calculus Applications of Craig Interpolation to Model Checking Bindings, Mobility of Bindings, and the V-Quantifier: An Abstract My (Un)Favourite Things Regular Papers On Nash Equilibria in Stochastic Games A Bounding Quantifier Parity and Exploration Games on Infinite Graphs Integrating Equational Reasoning into Instantiation-Based Theorem Proving Goal-Directed Methods for Lukasiewicz Logic A General Theorem on Termination of Rewriting Predicate Transformers and Linear Logic: Yet Another Denotational Model Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity On Proof Nets for Multiplicative Linear Logic with Units The Boundary Between Decidability and Undecidability for Transitive-Closure Logics Game-Based Notions of Locality over Finite Models Fixed Points of Type Constructors and Primitive Recursion On the Building of Ai~ne Retractions Higher-Order Matching in the Linear ~-Calculus with Pairing A Dependent Type Theory with Names and Binding Towards Mechanized Program Verification with Separation Logic A Functional Scenario for Bytecode Verification of Resource Bounds Proving Abstract Noninterference Intuitionistic LTL and a New Characterization of Safety and Liveness Moving in a Crumbling Network: The Balanced Case Parameterized Model Checking of RingBased Message Passing Systems A Third Order Bounded Arithmetic Theory for PSPACE …… Author Index |
内容加载中，请稍后...
商品评论（0条）