| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alan Jeffrey, Julian Rathke |
The Lax Braided Structure of Streaming I/O.  |
CSL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Federico Aschieri |
Transfinite Update Procedures for Predicative Systems of Analysis. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann A. Makowsky |
Model Theory in Computer Science: My Own Recurrent Themes. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Udi Boker, Thomas A. Henzinger |
Determinizing Discounted-Sum Automata. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín Hötzel Escardó, Paulo Oliva, Thomas Powell |
System T and the Product of Selection Functions. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke |
Unifying Büchi Complementation Constructions. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Czajka |
A Semantic Approach to Illative Combinatory Logic. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eryk Kopczynski |
Trees in Trees: Is the Incomplete Information about a Tree Consistent?. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Polonsky |
Axiomatizing the Quote. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Otto |
The Freedoms of Guarded Bisimulation. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Jenkins, Joël Ouaknine, Alexander Rabinovich, James Worrell |
The Church Synthesis Problem with Metric. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wladimir Fridman, Christof Löding, Martin Zimmermann 0002 |
Degrees of Lookahead in Context-free Infinite Games. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Beauxis, Samuel Mimram |
A Non-Standard Semantics for Kahn Networks in Continuous Time. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Kartzow |
A Pumping Lemma for Collapsible Pushdown Graphs of Level 2. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal |
Step-Indexed Relational Reasoning for Countable Nondeterminism. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoad Lustig, Sumit Nain, Moshe Y. Vardi |
Synthesis from Probabilistic Components. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Bezem (eds.) |
Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings |
CSL |
2011 |
DBLP BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger |
The Focused Calculus of Structures. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Grohe, Berit Grußien, André Hernich, Bastian Laubner |
L-Recursion and a new Logic for Logarithmic Space. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | László Egri |
On Constraint Satisfaction Problems below P. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Wolter |
Ontology-Based Data Access and Constraint Satisfaction. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Tatsuta, Stefano Berardi |
Non-Commutative Infinitary Peano Arithmetic. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schwencke |
A Category Theoretic View of Nondeterministic Recursive Program Schemes. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Moshe Y. Vardi |
Branching vs. Linear Time: Semantical Perspective. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Schnabl, Jakob Grue Simonsen |
The Exact Hardness of Deciding Derivational and Runtime Complexity. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Reus, Thomas Streicher |
Relative Completeness for Logics of Functional Programs. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Giulio Manzonetto |
Full Abstraction for Resource Calculus with Tests. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Lösch, Andrew M. Pitts |
Relating Two Semantics of Locally Scoped Names. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emanuel Kieronski |
Decidability Issues for Two-Variable Logics with Several Linear Orders. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
Power-Set Functors and Saturated Trees. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ehrhard |
Resource Lambda-Calculus: the Differential Viewpoint. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Parthasarathy Madhusudan |
Synthesizing Reactive Programs. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Miner More, Pavel Naumov, Benjamin Sapp |
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bernadet, Stéphane Lengrand |
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli, Kim G. Larsen, Radu Mardare |
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Durand, Yann Strozecki |
Enumeration Complexity of Logical Query Problems with Second-order Variables. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kord Eickmeyer |
Non-Definability Results for Randomised First-Order Logic. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le, Stephen A. Cook, Yuli Ye |
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Straubing |
Algebraic Characterization of the Alternation Hierarchy in FO2[<] on Finite Words. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yang Cai, Ting Zhang |
Tight Upper Bounds for Streett and Parity Complementation. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo |
A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexis Bès, Olivier Carton |
Algebraic Characterization of FO for Scattered Linear Orderings. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya, John Power |
Coalgebraic Derivations in Logic Programming. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Frontmatter, Table of Contents, Preface, Conference Organization. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | André Platzer |
Quantified Differential Dynamic Logic for Distributed Hybrid Systems. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Baaz, Christian G. Fermüller |
A Resolution Mechanism for Prenex Gödel Logic. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Cas J. F. Cremers |
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditi Barthwal, Michael Norrish |
A Formalisation of the Normal Forms of Context-Free Grammars in HOL4. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kord Eickmeyer, Martin Grohe |
Randomisation and Derandomisation in Descriptive Complexity Theory. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schwentick, Thomas Zeume |
Two-Variable Logic with Two Order Relations - (Extended Abstract). |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Blass, Nachum Dershowitz, Yuri Gurevich |
Exact Exploration and Hanging Algorithms. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Neil Ghani, Patricia Johann, Clément Fumex |
Fibrational Induction Rules for Initial Algebras. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Rybalchenko |
Constraint Solving for Program Verification: Theory and Practice by Example. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann A. Makowsky, Damian Niwinski |
The Ackermann Award 2010. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
Exponentials with Infinite Multiplicities. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Delia Kesner |
The Structural lambda-Calculus. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aldric Degorre, Laurent Doyen, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk |
Energy and Mean-Payoff Games with Imperfect Information. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anuj Dawar, Helmut Veith (eds.) |
Computer Science Logic, 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob Coecke, Simon Perdrix |
Environment and Classical Channels in Categorical Quantum Mechanics. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Benedikt, Clemens Ley, Gabriele Puppis |
Automata vs. Logics on Data Words. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Barnaby Martin, Jos Martin |
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Krajícek |
From Feasible Proofs to Feasible Computations. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Espírito Santo |
Towards a Canonical Classical Natural Deduction System. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei A. Krokhin |
Tree Dualities for Constraint Satisfaction. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lohmann, Heribert Vollmer |
Complexity Results for Modal Dependence Logic. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Grädel |
Definability in Games. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yijia Chen, Jörg Flum |
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Sven Schewe |
Coordination Logic. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Sternagel, René Thiemann |
Signature Extensions Preserve Termination - An Alternative Proof via Dependency Pairs. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yavor Nenov, Ian Pratt-Hartmann |
On the Computability of Region-Based Euclidean Logics. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Bianco, Fabio Mogavero, Aniello Murano |
Graded Computation Tree Logic with Binary Coding. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Régis Alenda, Nicola Olivetti, Camilla Schwind, Dmitry Tishkovsky |
Tableau Calculi for CSL\mathcal{CSL} over minspaces. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hetzl |
A Sequent Calculus with Implicit Term Representation. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Ganzow, Lukasz Kaiser |
New Algorithm for Weak Monadic Second-Order Logic on Inductive Structures. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Nordvall Forsberg, Anton Setzer |
Inductive-Inductive Definitions. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaustuv Chaudhuri |
Classical and Intuitionistic Subexponential Logics Are Equally Expressive. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo P. Fiore, Chung-Kil Hur |
Second-Order Equational Logic (Extended Abstract). |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Cook, Lila Fontes |
Formal Theories for Linear Algebra. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter W. O'Hearn |
Abductive, Inductive and Deductive Reasoning about Resources. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bagan, Arnaud Durand, Emmanuel Filiot, Olivier Gauwin |
Efficient Enumeration for Conjunctive Queries over X-underbar Structures. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Churchill, James Laird |
A Logic of Sequentiality. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Damien Pous |
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Burel |
Embedding Deduction Modulo into a Prover. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Ruzica Piskac, Philippe Suter |
Ordered Sets in the Calculus of Data Structures. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Yves Strub |
Coq Modulo Theory. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Hofmann, Dulma Rodriguez |
Efficient Type-Checking for Amortised Heap-Space Analysis. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
Resource analysis, Semantics, OOP, Type systems |
| 1 | Michael Ummels, Dominik Wojtczak |
Decision Problems for Nash Equilibria in Stochastic Games. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Tatsuta |
Non-Commutative First-Order Sequent Calculus. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang |
Nested Hoare Triples and Frame Rules for Higher-Order Store. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
Intersection, Universally Quantified, and Reference Types. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Turner, Glynn Winskel |
Nominal Domain Theory for Concurrency. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Widjaja To |
Model Checking FO(R) over One-Counter Processes and beyond. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Pavol Cerný, Scott Weinstein |
Algorithmic Analysis of Array-Accessing Programs. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Tranquilli |
Confluence of Pure Differential Nets with Promotion. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina Cîrstea, Clemens Kupke, Dirk Pattinson |
EXPTIME Tableaux for the Coalgebraic µ-Calculus. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Munch-Maccagnoni |
Focalisation and Classical Realisability. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Weber |
On the Complexity of Branching-Time Logics. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
complexity of satisfiability, pebble automata, alternating tree automata, forgettable past, CTL, branching-time logic |
| 1 | Johann A. Makowsky, Alexander A. Razborov |
The Ackermann Award 2009. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Beniamino Accattoli, Stefano Guerrini |
Jumping Boxes. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")