Search results for "CSL"

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

Publications at "CSL"( http://dblp.L3S.de/Venues/CSL )