Matches in SemOpenAlex for { <https://semopenalex.org/work/W1901075420> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1901075420 abstract "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 ?-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 ?ukasiewicz 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 Affine 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 Non-interference.- Intuitionistic LTL and a New Characterization of Safety and Liveness.- Moving in a Crumbling Network: The Balanced Case.- Parameterized Model Checking of Ring-Based Message Passing Systems.- A Third-Order Bounded Arithmetic Theory for PSPACE.- Provably Total Primitive Recursive Functions: Theories with Induction.- Logical Characterizations of PSPACE.- The Logic of the Partial ?-Calculus with Equality.- Complete Lax Logical Relations for Cryptographic Lambda-Calculi.- Subtyping Union Types.- Pfaffian Hybrid Systems.- Axioms for Delimited Continuations in the CPS Hierarchy.- Set Constraints on Regular Terms.- Unsound Theorem Proving.- A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.- Automated Generation of Analytic Calculi for Logics with Linearity." @default.
- W1901075420 created "2016-06-24" @default.
- W1901075420 creator A5059813124 @default.
- W1901075420 creator A5087292234 @default.
- W1901075420 date "2004-09-02" @default.
- W1901075420 modified "2023-09-27" @default.
- W1901075420 title "Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings" @default.
- W1901075420 hasPublicationYear "2004" @default.
- W1901075420 type Work @default.
- W1901075420 sameAs 1901075420 @default.
- W1901075420 citedByCount "0" @default.
- W1901075420 crossrefType "book" @default.
- W1901075420 hasAuthorship W1901075420A5059813124 @default.
- W1901075420 hasAuthorship W1901075420A5087292234 @default.
- W1901075420 hasConcept C11413529 @default.
- W1901075420 hasConcept C118615104 @default.
- W1901075420 hasConcept C136119220 @default.
- W1901075420 hasConcept C153269930 @default.
- W1901075420 hasConcept C15569618 @default.
- W1901075420 hasConcept C18903297 @default.
- W1901075420 hasConcept C202444582 @default.
- W1901075420 hasConcept C206880738 @default.
- W1901075420 hasConcept C2777299769 @default.
- W1901075420 hasConcept C28077239 @default.
- W1901075420 hasConcept C33923547 @default.
- W1901075420 hasConcept C41008148 @default.
- W1901075420 hasConcept C80444323 @default.
- W1901075420 hasConcept C86803240 @default.
- W1901075420 hasConcept C93682546 @default.
- W1901075420 hasConceptScore W1901075420C11413529 @default.
- W1901075420 hasConceptScore W1901075420C118615104 @default.
- W1901075420 hasConceptScore W1901075420C136119220 @default.
- W1901075420 hasConceptScore W1901075420C153269930 @default.
- W1901075420 hasConceptScore W1901075420C15569618 @default.
- W1901075420 hasConceptScore W1901075420C18903297 @default.
- W1901075420 hasConceptScore W1901075420C202444582 @default.
- W1901075420 hasConceptScore W1901075420C206880738 @default.
- W1901075420 hasConceptScore W1901075420C2777299769 @default.
- W1901075420 hasConceptScore W1901075420C28077239 @default.
- W1901075420 hasConceptScore W1901075420C33923547 @default.
- W1901075420 hasConceptScore W1901075420C41008148 @default.
- W1901075420 hasConceptScore W1901075420C80444323 @default.
- W1901075420 hasConceptScore W1901075420C86803240 @default.
- W1901075420 hasConceptScore W1901075420C93682546 @default.
- W1901075420 hasLocation W19010754201 @default.
- W1901075420 hasOpenAccess W1901075420 @default.
- W1901075420 hasPrimaryLocation W19010754201 @default.
- W1901075420 hasRelatedWork W1481783499 @default.
- W1901075420 hasRelatedWork W1492269319 @default.
- W1901075420 hasRelatedWork W1512882850 @default.
- W1901075420 hasRelatedWork W1538974371 @default.
- W1901075420 hasRelatedWork W1543481037 @default.
- W1901075420 hasRelatedWork W1559704064 @default.
- W1901075420 hasRelatedWork W1795516371 @default.
- W1901075420 hasRelatedWork W2298806063 @default.
- W1901075420 hasRelatedWork W2530278950 @default.
- W1901075420 hasRelatedWork W2583750720 @default.
- W1901075420 hasRelatedWork W2745268854 @default.
- W1901075420 hasRelatedWork W2753530402 @default.
- W1901075420 hasRelatedWork W2949993601 @default.
- W1901075420 hasRelatedWork W2953121715 @default.
- W1901075420 hasRelatedWork W2962743500 @default.
- W1901075420 hasRelatedWork W2966315061 @default.
- W1901075420 hasRelatedWork W3042468750 @default.
- W1901075420 hasRelatedWork W3100367581 @default.
- W1901075420 hasRelatedWork W3126030350 @default.
- W1901075420 hasRelatedWork W403056589 @default.
- W1901075420 isParatext "false" @default.
- W1901075420 isRetracted "false" @default.
- W1901075420 magId "1901075420" @default.
- W1901075420 workType "book" @default.