Search results for "CSL"

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

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