Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Parthasarathy Madhusudan |
Synthesizing Reactive Programs. |
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 | Jirí Adámek, Stefan Milius, Lawrence S. Moss, Lurdes Sousa |
Power-Set Functors and Saturated Trees. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Polonsky |
Axiomatizing the Quote. |
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 | Jan Schwinghammer, Lars Birkedal |
Step-Indexed Relational Reasoning for Countable Nondeterminism. |
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 | Alan Jeffrey, Julian Rathke |
The Lax Braided Structure of Streaming I/O. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó, Paulo Oliva, Thomas Powell 0001 |
System T and the Product of Selection Functions. |
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 | Guillaume Bagan, Arnaud Durand 0001, Emmanuel Filiot, Olivier Gauwin |
Efficient Enumeration for Conjunctive Queries over X-underbar Structures. |
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 | Beniamino Accattoli, Delia Kesner |
The Structural lambda-Calculus. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hetzl |
A Sequent Calculus with Implicit Term Representation. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aldric Degorre, Laurent Doyen 0001, Raffaella Gentilini, Jean-François Raskin, Szymon Torunczyk |
Energy and Mean-Payoff Games with Imperfect Information. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Nordvall Forsberg, Anton Setzer |
Inductive-Inductive Definitions. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Carraro, Thomas Ehrhard, Antonino Salibra |
Exponentials with Infinite Multiplicities. |
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 | Peter W. O'Hearn |
Abductive, Inductive and Deductive Reasoning about Resources. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Burel |
Embedding Deduction Modulo into a Prover. |
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 | Damien Pous |
Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic. |
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 | Marcelo P. Fiore, Chung-Kil Hur |
Second-Order Equational Logic (Extended Abstract). |
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 | Pierre-Yves Strub |
Coq Modulo Theory. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lohmann, Heribert Vollmer |
Complexity Results for Modal Dependence Logic. |
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 | Bob Coecke, Simon Perdrix |
Environment and Classical Channels in Categorical Quantum Mechanics. |
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 | David A. Basin, Cas Cremers |
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries. |
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 | André Platzer |
Quantified Differential Dynamic Logic for Distributed Hybrid Systems. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Finkbeiner, Sven Schewe |
Coordination Logic. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky, Damian Niwinski |
The Ackermann Award 2010. |
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 | Yijia Chen, Jörg Flum |
On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT. |
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 | Thomas Schwentick, Thomas Zeume |
Two-Variable Logic with Two Order Relations - (Extended Abstract). |
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 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees. |
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 | Erich Grädel |
Definability in Games. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Cook, Lila Fontes |
Formal Theories for Linear Algebra. |
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 | Andrei A. Krokhin |
Tree Dualities for Constraint Satisfaction. |
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 | Aditi Barthwal, Michael Norrish |
A Formalisation of the Normal Forms of Context-Free Grammars in HOL4. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Krajícek |
From Feasible Proofs to Feasible Computations. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Churchill, James Laird |
A Logic of Sequentiality. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kaustuv Chaudhuri |
Classical and Intuitionistic Subexponential Logics Are Equally Expressive. |
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 | Martin Grohe |
Fixed-Point Definability and Polynomial Time. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli, Stefano Guerrini |
Jumping Boxes. |
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 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
Intersection, Universally Quantified, and Reference Types. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk |
Algebra for Tree Languages. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yiannis N. Moschovakis |
Kleene's Amazing Second Recursion Theorem. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand |
Forcing and Type Theory. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Kreutzer |
On the Parameterised Intractability of Monadic Second-Order Logic. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Horbach, Christoph Weidenbach |
Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky, Alexander A. Razborov |
The Ackermann Award 2009. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Vince Bárány, Lukasz Kaiser, Alexander Rabinovich |
Cardinality Quantifiers in MLO over Trees. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dietrich Kuske, Markus Lohrey |
Automatic Structures of Bounded Degree Revisited. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Isolde Adler, Mark Weyer |
Tree-Width for First Order Formulae. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Marco Gaboardi, Romain Péchoux |
Upper Bounds on Stream I/O Using Semantic Interpretations. |
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 | Alexander Rabinovich |
Decidable Extensions of Church's Problem. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Munch-Maccagnoni |
Focalisation and Classical Realisability. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Erich Grädel, Reinhard Kahle (eds.) |
Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hofmann 0001, Dulma Rodriguez |
Efficient Type-Checking for Amortised Heap-Space Analysis. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
Resource analysis, Semantics, OOP, Type systems |
1 | Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson |
Enriching an Effect Calculus with Linear Types. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Endrullis, Herman Geuvers, Hans Zantema |
Degrees of Undecidability in Term Rewriting. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amélie Gheerbrant, Balder ten Cate |
Craig Interpolation for Linear Temporal Languages. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
Propositional Linear Temporal Logic, Linear Time ?-Calculus, Craig Interpolation |
1 | Jacques Duparc, Alessandro Facchini, Filip Murlak |
Linear Game Automata: Decidable Hierarchy Problems for Stripped-Down Alternating Tree Automata. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Ummels, Dominik Wojtczak |
Decision Problems for Nash Equilibria in Stochastic Games. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Turner, Glynn Winskel |
Nominal Domain Theory for Concurrency. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ulrich Berger 0001 |
From Coinductive Proofs to Exact Real Arithmetic. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
program extraction, exact real number computation, Proof theory, coinduction |
1 | Angelo Montanari, Gabriele Puppis, Pietro Sala |
A Decidable Spatial Logic with Cone-Shaped Cardinal Directions. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001 |
Typed Applicative Structures and Normalization by Evaluation for System Fomega. |
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 | J. Robin B. Cockett, Luigi Santocanale |
On the Word Problem for SP{Sigma Pi}-Categories, and the Properties of Two-Way Communication. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
??-categories, bicatersian categories, two-way communication, proof theory, game semantics, word problem |
1 | Frédéric Blanqui, Cody Roux |
On the Relation between Sized-Types Based Termination and Semantic Labelling. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Nondeterminism and Observable Sequentiality. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Agata Ciabattoni, Lutz Straßburger, Kazushige Terui |
Expanding the Realm of Systematic Proof Theory. |
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 | Paolo Tranquilli |
Confluence of Pure Differential Nets with Promotion. |
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 | Eijiro Sumii |
A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, Mark Weyer |
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gilda Ferreira, Paulo Oliva |
Functional Interpretations of Intuitionistic Linear Logic. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Heng Guo 0001, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao |
On Model Checking Boolean BI. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Berardi, Ugo de'Liguoro |
A Calculus of Realizers for EM1 Arithmetic (Extended Abstract). |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Hamano, Ryo Takemura |
An Indexed System for Multiplicative Additive Polarized Linear Logic. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Tomer Kotek, Johann A. Makowsky, Boris Zilber |
On Counting Generalized Colorings. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ian M. Hodkinson, Angelo Montanari, Guido Sciavicco |
Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Witold Charatonik, Michal Wrona |
Quantified Positive Temporal Constraints. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Tranquilli |
A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Dal Lago, Olivier Laurent 0001 |
Quantitative Game Semantics for Linear Logic. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
|