Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Tobias Löw, Thomas Streicher |
Universality Results for Models in Locally Boolean Domains. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Thomas A. Henzinger, Nir Piterman |
Solving Games Without Determinization. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lauri Hella, Jose Maria Turull Torres |
Complete Problems for Higher Order Logics. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
Lindström Quantifiers, Complete Problems, Higher Order Logics |
1 | Luc Segoufin |
Automata and Logics for Words and Trees over an Infinite Alphabet. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ursula Martin, Erik Arne Mathiesen, Paulo Oliva |
Hoare Logic in the Abstract. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Schöpp |
Space-Efficient Computation by Interaction. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Kaiser |
Game Quantification on Automatic Structures and Hierarchical Model Checking Games. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik (eds.) |
Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Moczydlowski |
Normalization of IZF with Replacement. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Marcinkowski |
On the Expressive Power of Graph Logic. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Erich Grädel, Johann A. Makowsky |
The Ackermann Award 2006. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Di Giamberardino, Claudia Faggian |
Jump from Parallel to Sequential Proofs: Multiplicatives. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Functorial Boxes in String Diagrams. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Florent R. Madelaine |
Universal Structures and the Logic of Forbidden Patterns. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
Graph Homomorphism and Duality, Constraint Satisfaction, Finite Model theory, Monadic Second Order Logic |
1 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
The Power of Linear Functions. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Aehlig |
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Schürmann, Jatin Shah |
Identifying Polynomial-Time Recursive Functions. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Filip Murlak |
On Deciding Topological Classes of Deterministic Tree Languages. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
deterministic tree automata, index hierarchy, Borel hierarchy |
1 | Paula Severi, Fer-Jan de Vries |
Order Structures on Böhm-Like Models. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong (eds.) |
Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Anatol Slissenko |
Verification in Predicate Logic with Time: Algorithmic Questions. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Courcelle, Christian Delhommé |
The Modular Decomposition of Countable Graphs: Constructions in Monadic Second-Order Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Luc Segoufin |
Towards a Characterization of Order-Invariant Queries over Tame Structures. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Katsumata |
A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Soltys |
Feasible Proofs of Matrix Properties with Csanky's Algorithm. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
Csanky’s algorithm, matrix algebra, Proof complexity |
1 | Marcin Mostowski, Konrad Zdanowski |
Coprimality in Finite Models. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Julian C. Bradfield, Jacques Duparc, Sandra Quickert |
Transfinite Extension of the Mu-Calculus. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Collinson, David J. Pym, Edmund Robinson |
On Bunched Polymorphism. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Mircea-Dan Hernest |
Light Functional Interpretation. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
Program extraction from (classical) proofs, Complexity of extracted programs, Berger’s uniform quantifiers, Functional interpretation, Proof Mining, Proof-Carrying Code |
1 | Bakhadyr Khoussainov, Sasha Rubin |
Decidability of Term Algebras Extending Partial Algebras. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz |
Note on Formal Analogical Reasoning in the Juridical Context. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Vasco Brattka, Matthias Schröder 0001 |
Computing with Sequences, Weak Topologies and the Axiom of Choice. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek |
A Logic of Coequations. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Branimir Lambov |
Complexity and Intensionality in a Type-1 Framework for Computable Analysis. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marc Andreoli, Gabriele Pulcini, Paul Ruet |
Permutative Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Steven Perron |
A Propositional Proof System for Log Space. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Janos Makowsky, Alexander A. Razborov |
The Ackermann Award 2005. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Marx |
XML Navigation and Tarski's Relation Algebras. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Colin Stirling |
Higher-Order Matching and Games. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
higher-order matching, games, typed lambda calculus |
1 | Esfandiar Haghverdi, Philip J. Scott |
Towards a Typed Geometry of Interaction. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Emanuel Kieronski |
Results on the Guarded Fragment with Equivalence or Transitive Relations. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Kaustuv Chaudhuri, Frank Pfenning |
Focusing the Inverse Method for Linear Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Antonina Kolokolova |
Closure Properties of Weak Systems of Bounded Arithmetic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Tom Murphy VII, Karl Crary, Robert Harper 0001 |
Distributed Control Flow with Classical Modal Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Louis Curien, Claudia Faggian |
L-Nets, Strategies and Proof-Nets. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001 |
An Abstract Strong Normalization Theorem. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Witold Charatonik, Lilia Georgieva, Patrick Maier 0001 |
Bounded Model Checking of Pointer Programs. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky |
Clemens Lautemann: 1951-2005 An Obituary. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Balder ten Cate, Massimo Franceschet |
On the Complexity of Hybrid Logics with Binders. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Julian C. Bradfield, Stephan Kreutzer |
The Complexity of Independence-Friendly Fixpoint Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Guillem Godoy, Ashish Tiwari 0001 |
Confluence of Shallow Right-Linear Rewrite Systems. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Blanqui |
Decidability of Type-Checking in the Calculus of Algebraic Constructions with Size Annotations. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Hubie Chen, Víctor Dalmau |
From Pebble Games to Tractability: An Ambidextrous Consistency Algorithm for Quantified Constraint Satisfaction. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Lutz |
PDL with Intersection and Converse Is Decidable. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Barras, Benjamin Grégoire |
On the Role of Type Decorations in the Calculus of Inductive Constructions. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Straßburger, François Lamarche |
On Proof Nets for Multiplicative Linear Logic with Units. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alan Skelley |
A Third-Order Bounded Arithmetic Theory for PSPACE. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
quantified propositional calculus, Bounded arithmetic, PSPACE, propositional proof complexity |
1 | Jerzy Marcinkowski, Andrzej Tarlecki (eds.) |
Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Harald Ganzinger, Konstantin Korovin |
Integrating Equational Reasoning into Instantiation-Based Theorem Proving. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote, Sylvain Salvati |
Higher-Order Matching in the Linear lambda-calculus with Pairing. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | David Richerby |
Logical Characterizations of PSPACE. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
choice operators, partial fixed points, descriptive complexity, Finite model theory |
1 | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
Goal-Directed Methods for Lukasiewicz Logic. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
ukasiewicz Logics, Goal-Directed Methods, Fuzzy Logics |
1 | Ulrich Schöpp, Ian Stark |
A Dependent Type Theory with Names and Binding. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder |
The Logic of the Partial lambda-Calculus with Equality. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault-Larrecq, Slawomir Lasota 0001, David Nowak, Yu Zhang |
Complete Lax Logical Relations for Cryptographic Lambda-Calculi. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
Cryptographic lambda-calculus, Subscone, Monads, Logical relations |
1 | Pawel Rychlikowski, Tomasz Truderung |
Set Constraints on Regular Terms. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Arenas, Pablo Barceló, Leonid Libkin |
Game-Based Notions of Locality Over Finite Models. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato |
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Isabella Mastroeni |
Proving Abstract Non-interference. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
abstract non-interference, verification, Abstract interpretation, language-based security |
1 | Agata Ciabattoni |
Automated Generation of Analytic Calculi for Logics with Linearity. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Aleksy Schubert |
On the Building of Affine Retractions. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Ralph Matthes |
Fixed Points of Type Constructors and Primitive Recursion. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Gimbert |
Parity and Exploration Games on Infinite Graphs. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Margarita V. Korovina, Nicolai N. Vorobjov Jr. |
Pfaffian Hybrid Systems. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | E. Allen Emerson, Vineet Kahlon |
Parameterized Model Checking of Ring-Based Message Passing Systems. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Urzyczyn |
My (Un)Favourite Things. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Neil Immerman, Alexander Moshe Rabinovich, Thomas W. Reps, Shmuel Sagiv, Greta Yorsh |
The Boundary Between Decidability and Undecidability for Transitive-Closure Logics. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lynch |
Unsound Theorem Proving. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yukiyoshi Kameyama |
Axioms for Delimited Continuations in the CPS Hierarchy. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias |
Notions of Average-Case Complexity for Random 3-SAT. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hyland |
Abstract Interpretation of Proofs: Classical Propositional Calculus. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
classical propositional calculus, category theory, proof theory |
1 | Pierre Hyvernat |
Predicate Transformers and Linear Logic: Yet Another Denotational Model. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Rohde |
Moving in a Crumbling Network: The Balanced Case. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
model checking, modal logics, dynamic logics |
1 | Tjark Weber |
Towards Mechanized Program Verification with Separation Logic. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
Separation Logic, Interactive Theorem Proving, Formal Program Verification |
1 | Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal-Zilio, Line Jakubiec |
A Functional Scenario for Bytecode Verification of Resource Bounds. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski |
On Nash Equilibria in Stochastic Games. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Di Gianantonio |
Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
cyclic linear logic, linear logic, proof theory, Lambek calculus, calculus of structures |
1 | Patrick Maier 0001 |
Intuitionistic LTL and a New Characterization of Safety and Liveness. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk |
A Bounding Quantifier. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001 |
Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andrés Cordón-Franco, Alejandro Fernández-Margarit, Francisco Félix Lara Martín |
Provably Total Primitive Recursive Functions: Theories with Induction. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
Applications of Craig Interpolation to Model Checking. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Jerome Vouillon |
Subtyping Union Types. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
semantics, lambda-calculus, subtyping, union types |
1 | Jeremy E. Dawson, Rajeev Goré |
A General Theorem on Termination of Rewriting. |
CSL |
2004 |
DBLP DOI BibTeX RDF |
well-founded ordering, recursive path ordering, termination, rewriting |
1 | Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
Simple Stochastic Parity Games. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Tatiana Rybina, Andrei Voronkov |
Fast Infinite-State Model Checking in Integer-Based Systems (Invited Lecture). |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Kess F. M. Vermeulen |
More Computation Power for a Denotational Semantics for First Order Logic. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwijn |
The Arithmetical Complexity of Dimension and Randomness. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Marko Samer, Helmut Veith |
Validity of CTL Queries Revisited. |
CSL |
2003 |
DBLP DOI BibTeX RDF |
|