Search results for "LICS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Klaus Aehlig, Arnold Beckmann	On the Computational Complexity of Cut-Reduction.	LICS	2008	DBLP DOI BibTeX RDF	cut-reduction, proof notations, propositional logic, Bounded Arithmetic
1	Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001	On the Expressiveness and Complexity of Randomization in Finite State Monitors.	LICS	2008	DBLP DOI BibTeX RDF
1	Gordon D. Plotkin, Matija Pretnar	A Logic for Algebraic Effects.	LICS	2008	DBLP DOI BibTeX RDF	call-by-push-value, computational lambda-calculus, program logics, computational effects, algebraic operations
1		Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA	LICS	2008	DBLP BibTeX RDF
1	Yiannis N. Moschovakis	The Axiomatic Derivation of Absolute Lower Bounds.	LICS	2008	DBLP DOI BibTeX RDF
1	Pierre Chambart, Philippe Schnoebelen	The Ordinal Recursive Complexity of Lossy Channel Systems.	LICS	2008	DBLP DOI BibTeX RDF	lossy channel systems, Fast-Growing Hierarchy, complexity
1	Makoto Tatsuta	Types for Hereditary Permutators.	LICS	2008	DBLP DOI BibTeX RDF	hereditary permutator, infinite lambda-calculus, stream type, intersection type
1	Agata Ciabattoni, Nikolaos Galatos, Kazushige Terui	From Axioms to Analytic Rules in Nonclassical Logics.	LICS	2008	DBLP DOI BibTeX RDF	nonclassical logics, hypersequent calculi, semantic cut-elimination, sequent calculi
1	Greg Hjorth, Bakhadyr Khoussainov, Antonio Montalbán, André Nies	From Automatic Structures to Borel Structures.	LICS	2008	DBLP DOI BibTeX RDF	Borel, Buechi, automata, isomorphism
1	Paulin Jacobé de Naurois, Virgile Mogbil	Correctness of Multiplicative Additive Proof Structures is NL-Complete.	LICS	2008	DBLP DOI BibTeX RDF	Correctness Criterion, Multiplicative Additive Linear Logic, NL-completness, Computational Complexity, proof-nets
1	Marc de Falco	The Geometry of Interaction of Differential Interaction Nets.	LICS	2008	DBLP DOI BibTeX RDF	differential interaction nets, differential linear logic, sharing graphs, linear logic, geometry of interaction
1	Daniel R. Licata, Noam Zeilberger, Robert Harper 0001	Focusing on Binding and Computation.	LICS	2008	DBLP DOI BibTeX RDF	computation, binding, logical frameworks, polarity, sequent calculus
1	Vineet Kahlon	Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.	LICS	2008	DBLP DOI BibTeX RDF	Model Checking, Concurrent Programs, Dataflow Analysis, Parameterized Systems, Pushdown Systems
1	Abbas Edalat	Weak Topology and a Differentiable Operator for Lipschitz Maps.	LICS	2008	DBLP DOI BibTeX RDF	Clarke gradient, Weakest topology, Second order functionals, Fundamental Theorem of Calculus, Domain theory, Hausdorff metric
1	Emmanuel Beffara	An Algebraic Process Calculus.	LICS	2008	DBLP DOI BibTeX RDF	testing semantics, pi-calculus, full abstraction, trace semantics, normalisation
1	Adrià Gascón, Guillem Godoy, Manfred Schmidt-Schauß	Context Matching for Compressed Terms.	LICS	2008	DBLP DOI BibTeX RDF	context variables, tree compression, matching, unification
1	Martin Grohe	Definable Tree Decompositions.	LICS	2008	DBLP DOI BibTeX RDF	fixed point logic, descriptive complexity, tree decomposition
1	Søren B. Lassen, Paul Blain Levy	Typed Normal Form Bisimulation for Parametric Polymorphism.	LICS	2008	DBLP DOI BibTeX RDF	LTS, bisimulation, parametric polymorphism, typed lambda calculus
1	Víctor Dalmau, Benoît Larose	Maltsev + Datalog --> Symmetric Datalog.	LICS	2008	DBLP DOI BibTeX RDF	Maltsev term, Dstalog, Symmetric Datalog
1	Martin Grohe	The Quest for a Logic Capturing PTIME.	LICS	2008	DBLP DOI BibTeX RDF	query languages, descriptive complexity, finite model theory
1	Christian Urban, James Cheney, Stefan Berghofer	Mechanizing the Metatheory of LF.	LICS	2008	DBLP DOI BibTeX RDF	mechanized metatheory, logical frameworks, nominal logic
1	Olivier Laurent 0001, Roberto Maieli	Cut Elimination for Monomial MALL Proof Nets.	LICS	2008	DBLP DOI BibTeX RDF	Linear Logic, Cut Elimination, Proof Net
1	Marcin Jurdzinski, Ranko Lazic 0001	Alternation-free modal mu-calculus for data trees.	LICS	2007	DBLP DOI BibTeX RDF
1	Steven James Perron	Examining The Fragments of G.	LICS	2007	DBLP DOI BibTeX RDF
1	Patrick Baillot, Paolo Coppola 0001, Ugo Dal Lago	Light Logics and Optimal Reduction: Completeness and Complexity.	LICS	2007	DBLP DOI BibTeX RDF
1	Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe	Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications.	LICS	2007	DBLP DOI BibTeX RDF
1	Mikolaj Bojanczyk	Two-way unary temporal logic over trees.	LICS	2007	DBLP DOI BibTeX RDF
1	Bartek Klin	Bialgebraic Operational Semantics and Modal Logic.	LICS	2007	DBLP DOI BibTeX RDF
1	Paulo Oliva	Modified Realizability Interpretation of Classical Linear Logic.	LICS	2007	DBLP DOI BibTeX RDF
1	Rasmus Ejlers Møgelberg, Alex Simpson	Relational Parametricity for Computational Effects.	LICS	2007	DBLP DOI BibTeX RDF
1	Andreas Abel 0001, Thierry Coquand, Peter Dybjer	Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements.	LICS	2007	DBLP DOI BibTeX RDF
1	Detlef Kähler, Ralf Küsters, Tomasz Truderung	Infinite State AMC-Model Checking for Cryptographic Protocols.	LICS	2007	DBLP DOI BibTeX RDF
1	Phuong Nguyen	Separating DAG-Like and Tree-Like Proof Systems.	LICS	2007	DBLP DOI BibTeX RDF
1	Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001	The Cost of Punctuality.	LICS	2007	DBLP DOI BibTeX RDF
1	Colin Stirling	Higher-Order Matching, Games and Automata.	LICS	2007	DBLP DOI BibTeX RDF
1	James Brotherston, Alex Simpson	Complete Sequent Calculi for Induction and Infinite Descent.	LICS	2007	DBLP DOI BibTeX RDF
1		22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings	LICS	2007	DBLP BibTeX RDF
1	Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang	Characterising Testing Preorders for Finite Probabilistic Processes.	LICS	2007	DBLP DOI BibTeX RDF
1	Paul Brauner, Clément Houtmann, Claude Kirchner	Principles of Superdeduction.	LICS	2007	DBLP DOI BibTeX RDF
1	Manuel Bodirsky, Hubie Chen	Quantified Equality Constraints.	LICS	2007	DBLP DOI BibTeX RDF
1	Paul-André Melliès, Nicolas Tabareau	Resource modalities in game semantics.	LICS	2007	DBLP DOI BibTeX RDF
1	Francesco Ranzato, Francesco Tapparo	A New Efficient Simulation Equivalence Algorithm.	LICS	2007	DBLP DOI BibTeX RDF
1	Hugo Gimbert, Wieslaw Zielonka	Limits of Multi-Discounted Markov Decision Processes.	LICS	2007	DBLP DOI BibTeX RDF
1	Anuj Dawar, Martin Grohe, Stephan Kreutzer	Locally Excluding a Minor.	LICS	2007	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq	On Noetherian Spaces.	LICS	2007	DBLP DOI BibTeX RDF
1	François Pottier	Static Name Control for FreshML.	LICS	2007	DBLP DOI BibTeX RDF
1	Thomas C. Hales	Some Methods of Problem Solving in Elementary Geometry.	LICS	2007	DBLP DOI BibTeX RDF
1	Ulrich Schöpp	Stratified Bounded Affine Logic for Logarithmic Space.	LICS	2007	DBLP DOI BibTeX RDF
1	Phokion G. Kolaitis	Reflections on Finite Model Theory.	LICS	2007	DBLP DOI BibTeX RDF
1	Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga	Game Relations and Metrics.	LICS	2007	DBLP DOI BibTeX RDF
1	Mika Cohen, Mads Dam	A Complete Axiomatization of Knowledge and Cryptography.	LICS	2007	DBLP DOI BibTeX RDF
1	Abbas Edalat	A computable approach to measure and integration theory.	LICS	2007	DBLP DOI BibTeX RDF	interval-valued measurable function, interval-valued Lebesgue integral, data type, Domain theory
1	Wojciech Moczydlowski	A Dependent Set Theory.	LICS	2007	DBLP DOI BibTeX RDF
1	Pawel M. Idziak, Petar Markovic, Ralph McKenzie, Matthew Valeriote, Ross Willard	Tractability and learnability arising from algebras with few subpowers.	LICS	2007	DBLP DOI BibTeX RDF
1	László Egri, Benoît Larose, Pascal Tesson	Symmetric Datalog and Constraint Satisfaction Problems in Logspace.	LICS	2007	DBLP DOI BibTeX RDF
1	Colin Riba	Strong Normalization as Safe Interaction.	LICS	2007	DBLP DOI BibTeX RDF
1	Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang	Local Action and Abstract Separation Logic.	LICS	2007	DBLP DOI BibTeX RDF
1	Nikos Tzevelekos	Full abstraction for nominal general references.	LICS	2007	DBLP DOI BibTeX RDF
1	Russell Harmer, Martin Hyland, Paul-André Melliès	Categorical Combinatorics for Innocent Strategies.	LICS	2007	DBLP DOI BibTeX RDF
1	Davide Sangiorgi, Naoki Kobayashi 0001, Eijiro Sumii	Environmental Bisimulations for Higher-Order Languages.	LICS	2007	DBLP DOI BibTeX RDF
1	Marcello M. Bonsangue, Alexander Kurz 0001	Pi-Calculus in Logical Form.	LICS	2007	DBLP DOI BibTeX RDF
1	Angelo Montanari, Gabriele Puppis	A Contraction Method to Decide MSO Theories of Deterministic Trees.	LICS	2007	DBLP DOI BibTeX RDF
1	Salvatore La Torre, Parthasarathy Madhusudan, Gennaro Parlato	A Robust Class of Context-Sensitive Languages.	LICS	2007	DBLP DOI BibTeX RDF
1	Martín Hötzel Escardó	Infinite sets that admit fast exhaustive search.	LICS	2007	DBLP DOI BibTeX RDF	Higher-type computability and complexity, Kleene-Kreisel functionals, topology, Haskell, PCF
1	Phuong Nguyen, Stephen A. Cook	The Complexity of Proving the Discrete Jordan Curve Theorem.	LICS	2007	DBLP DOI BibTeX RDF
1	Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin	First-Order and Temporal Logics for Nested Words.	LICS	2007	DBLP DOI BibTeX RDF
1	Balder ten Cate, Johan van Benthem, Jouko A. Väänänen	Lindstrom theorems for fragments of first-order logic.	LICS	2007	DBLP DOI BibTeX RDF
1	Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David	Two-Variable Logic on Words with Data.	LICS	2006	DBLP DOI BibTeX RDF
1		Conference Organization.	LICS	2006	DBLP DOI BibTeX RDF
1	Andrew D. Gordon 0001	Provable Implementations of Security Protocols.	LICS	2006	DBLP DOI BibTeX RDF
1	Dexter Kozen	Coinductive Proof Principles for Stochastic Processes.	LICS	2006	DBLP DOI BibTeX RDF
1	C.-H. Luke Ong	On Model-Checking Trees Generated by Higher-Order Recursion Schemes.	LICS	2006	DBLP DOI BibTeX RDF
1	Giulio Manzonetto, Antonino Salibra	Boolean Algebras for Lambda Calculus.	LICS	2006	DBLP DOI BibTeX RDF
1	Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor	On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.	LICS	2006	DBLP DOI BibTeX RDF
1	Nir Piterman	From Nondeterministic Buchi and Streett Automata to Deterministic Parity Automata.	LICS	2006	DBLP DOI BibTeX RDF
1	Nir Piterman, Amir Pnueli	Faster Solutions of Rabin and Streett Games.	LICS	2006	DBLP DOI BibTeX RDF
1	Thierry Coquand, Arnaud Spiwack	A Proof of Strong Normalisation using Domain Theory.	LICS	2006	DBLP DOI BibTeX RDF
1	Eldar Fischer, Frédéric Magniez, Michel de Rougemont	Approximate Satisfiability and Equivalence.	LICS	2006	DBLP DOI BibTeX RDF
1	Mikolaj Bojanczyk, Thomas Colcombet	Bounds in w-Regularity.	LICS	2006	DBLP DOI BibTeX RDF
1		Foreward.	LICS	2006	DBLP DOI BibTeX RDF
1	Ugo Dal Lago	Context Semantics, Linear Logic and Computational Complexity.	LICS	2006	DBLP DOI BibTeX RDF
1	Sharon Shoham, Orna Grumberg	3-Valued Abstraction: More Precision at Less Cost.	LICS	2006	DBLP DOI BibTeX RDF
1	Tachio Terauchi, Alex Aiken	On Typability for Rank-2 Intersection Types with Polymorphic Recursion.	LICS	2006	DBLP DOI BibTeX RDF
1	Olivier Laurent 0001, Lorenzo Tortora de Falco	Obsessional Cliques: A Semantic Characterization of Bounded Time Complexity.	LICS	2006	DBLP DOI BibTeX RDF
1	Thomas Ball, Orna Kupferman	An Abstraction-Refinement Framework for Multi-Agent Systems.	LICS	2006	DBLP DOI BibTeX RDF
1	Filippo Bonchi, Barbara König 0001, Ugo Montanari	Saturated Semantics for Reactive Systems.	LICS	2006	DBLP DOI BibTeX RDF
1	Patricia Bouyer, Thomas Brihaye, Fabrice Chevalier	Control in o-minimal Hybrid Systems.	LICS	2006	DBLP DOI BibTeX RDF
1		Organizing Committee.	LICS	2006	DBLP DOI BibTeX RDF
1	Daniel Leivant	Matching Explicit and Modal Reasoning about Programs: A Proof Theoretic Delineation of Dynamic Logic.	LICS	2006	DBLP DOI BibTeX RDF
1	Randal E. Bryant	Formal Verification of Infinite State Systems Using Boolean Methods.	LICS	2006	DBLP DOI BibTeX RDF
1	Makoto Tatsuta, Mariangiola Dezani-Ciancaglini	Normalisation is Insensible to lambda-Term Identity or Difference.	LICS	2006	DBLP DOI BibTeX RDF
1	Jonathan Hayman, Glynn Winskel	Independence and Concurrent Separation Logic.	LICS	2006	DBLP DOI BibTeX RDF
1	Laura Chaubard, Jean-Eric Pin, Howard Straubing	First Order Formulas with Modular Predicates.	LICS	2006	DBLP DOI BibTeX RDF
1	Alexis Maciel, Toniann Pitassi	Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives.	LICS	2006	DBLP DOI BibTeX RDF
1	Anuj Dawar, Martin Grohe, Stephan Kreutzer, Nicole Schweikardt	Approximation Schemes for First-Order Definable Optimisation Problems.	LICS	2006	DBLP DOI BibTeX RDF
1	Adam Barth, John C. Mitchell	Managing Digital Rights using Linear Logic.	LICS	2006	DBLP DOI BibTeX RDF
1	Vineet Kahlon, Aarti Gupta	An Automata-Theoretic Approach for Model Checking Threads for LTL Propert.	LICS	2006	DBLP DOI BibTeX RDF
1	Matthew J. Parkinson, Richard Bornat, Cristiano Calcagno	Variables as Resource in Hoare Logics.	LICS	2006	DBLP DOI BibTeX RDF
1	Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera 0001	Stochastic Games with Branching-Time Winning Objectives.	LICS	2006	DBLP DOI BibTeX RDF
1	Emil W. Kiss, Matthew Valeriote	On Tractability and Congruence Distributivity.	LICS	2006	DBLP DOI BibTeX RDF

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