The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/lics

Publication years (Num. hits)
1986 (43) 1987 (38) 1988 (44) 1989 (42) 1990 (47) 1991 (41) 1992 (45) 1993 (44) 1994 (54) 1995 (49) 1996 (50) 1997 (40) 1998 (48) 1999 (47) 2000 (40) 2001 (43) 2002 (42) 2003 (40) 2004 (47) 2005 (56) 2006 (48) 2007 (45) 2008 (43) 2009 (44) 2010 (47) 2011 (44) 2012 (67) 2013 (63) 2015 (67) 2016 (90) 2017 (95) 2018 (96) 2019 (63) 2020 (74) 2021 (96) 2022 (65) 2023 (68)
Publication types (Num. hits)
inproceedings(1978) proceedings(37)
Venues (Conferences, Journals, ...)
LICS(2015)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 356 occurrences of 217 keywords

Results
Found 2015 publication records. Showing 2015 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Simon J. Gay, Rajagopal Nagarajan A Typed Calculus of Synchronous Processes Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Girish Bhat, Rance Cleaveland, Orna Grumberg Efficient On-the-Fly Model Checking for CTL* Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1François Lamarche Games Semantics for Full Propositional Linear Logic Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Alexei P. Stolboushkin Finitely Monotone Properties Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Boris A. Trakhtenbrot Origins and Metamorphoses of the Trinity: Logic, Nets, Automata Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Jan Paredaens, Jan Van den Bussche, Dirk Van Gucht First-order Queries on Finite Structures over the Reals Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Daniel J. Dougherty, Ramesh Subrahmanyam Equality between Functionals in the Presence of Coproducts Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Marino Miculan, Fabio Gadducci Modal mu-Types for Processes Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Erich Grädel Generalized Quantifiers and 0-1 Laws Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi On the Complexity of Modular Model Checking Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Robert L. Constable Experience with Type Theory as a Foundation for Computer Science Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Rob J. van Glabbeek, Gordon D. Plotkin Configuration Structures Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Christopher Lynch Paramodulation without Duplication Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Frank Pfenning Structural Cut Elimination Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Henrik Reif Andersen Partial Model Checking (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Vaughan R. Pratt The Stone Gamut: A Coordinatization of Mathematics Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Patrick Lincoln, Andre Scedrov, Natarajan Shankar Decision Problems for Second-Order Linear Logic Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Claude Marché Normalised Rewriting and Normalised Completion Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Antonio Brogi, Franco Turini Semantics of Meta-Logic in an Algebra of Programs Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ofer Arieli, Arnon Avron Logical Bilattices and Inconsistent Data Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Robert F. Stärk The Declarative Semantics of the Prolog Selection Rule Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Henrik Reif Andersen, Colin Stirling, Glynn Winskel A Compositional Proof System for the Modal mu-Calculus Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Kjartan Stefánsson Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jean Goubault Rigid E-Unifiability is DEXPTIME-Complete Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Pawel Urzyczyn The Emptiness Problem for Intersection Types Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Peter Sewell Bisimulation is Not Finitely (First Order) Equationally Axiomatisable Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1P. S. Thiagarajan A Trace Based Extension of Linear Time Temporal Logic Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martin Hofmann 0001, Thomas Streicher The Groupoid Model Refutes Uniqueness of Identity Proofs Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin, Martín Abadi, Luca Cardelli Subtyping and Parametricity Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Andrea Asperti, Vincent Danos, Cosimo Laneve, Laurent Regnier Paths in the lambda-calculus Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Edmund P. Robinson, Giuseppe Rosolini Reflexive Graphs and Parametric Polymorphism Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jens Palsberg Efficient Inference of Object Types Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Luca Cardelli A Semantics of Object Types Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Christian Prehofer Higher-Order Narrowing Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Mati Pentus Language Completeness of the Lambek Calculus Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Witold Charatonik, Leszek Pacholski Negative Set Constraints with Equality Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Uday S. Reddy Passivity and Independence Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Serge Abiteboul, Christos H. Papadimitriou, Victor Vianu The Power of Reflective Relational Machines Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Shipei Zhang, Oleg Sokolsky, Scott A. Smolka On the Parallel Complexity of Model Checking in the Modal Mu-Calculus Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1J. Antonio Medina, Neil Immerman A Syntactic Characterization of NP-Completeness Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Adolfo Piperno, Simona Ronchi Della Rocca Type Inference and Extensionality Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Martin Otto 0001 Generalized Quantifiers for Simple Properties Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ron van der Meyden Axioms for Knowledge and Time in Distributed Systems with Perfect Recall Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Alan Jeffrey A Fully Abstract Semantics for Concurrent Graph Reduction Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 Foundations of Timed Concurrent Constraint Programming Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Eugenio Moggi A General Semantics for Evaluation Logic Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Edward Y. Chang, Zohar Manna, Amir Pnueli Compositional Verification of Real-Time Systems Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Patrick Lincoln, Natarajan Shankar Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Thomas A. Henzinger Finitary Fairness Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Matthias Baaz, Christian G. Fermüller, Alexander Leitsch A Non-Elementary Speed-Up in Proof Length by Structural Clause Form Transformation Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Zena M. Ariola, Jan Willem Klop Cyclic Lambda Graph Rewriting Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Franco Barbanera, Maribel Fernández, Herman Geuvers Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Carolyn Brown, Graham Hutton Categories, Allegories and Circuit Design Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Herman Geuvers, Benjamin Werner On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Dale Miller 0001 A Multiple-Conclusion Meta-Logic Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Leo Bachmair, Harald Ganzinger Rewrite Techniques for Transitive Relations Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Ralph Loader Linear Logic, Totality and Full Completeness Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Michael Huth 0001, Achim Jung, Klaus Keimel Linear Types, Approximation, and Topology Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1J. B. Wells Typability and Type-Checking in the Second-Order lambda-Calculus are Equivalent and Undecidable Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto How to Define a Linear Order on Finite Models Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke Automatic Verification of Finite-State Concurrent Systems Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Lauri Hella The Expressive Power of Finitely Many Generalized Quantifiers Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1 Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994 Search on Bibsonomy LICS The full citation details ... 1994 DBLP  BibTeX  RDF
1Yuri Gurevich, Neil Immerman, Saharon Shelah McColm's Conjecture Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Shai Ben-David, Rachel Ben-Eliyahu a modal logic for subjective default reasoning Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Abbas Edalat Domain Theory and Integration Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Russell Impagliazzo, Toniann Pitassi, Alasdair Urquhart Upper and Lower Bounds for Tree-Like Cutting Planes Proofs Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore, Gordon D. Plotkin An Axiomatization of Computationally Adequate Domain Theoretic Models of FPC Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Rod M. Burstall Terms, Proofs, and Refinement (Extended abstract) Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Edith Hemaspaandra Complexity Transfer for Modal Logic (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Loïc Colson, Thomas Ehrhard On Strong Stability and Higher-Order Sequentiality Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Phokion G. Kolaitis A Tutorial on Finite Model Theory (Abstract) Search on Bibsonomy LICS The full citation details ... 1993 DBLP  BibTeX  RDF
1Tobias Nipkow Functional Unification of Higher-Order Patterns Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Benjamin C. Pierce, Davide Sangiorgi Typing and Subtyping for Mobile Processes Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Paliath Narendran, Michaël Rusinowitch The Unifiability Problem in Ground AC Theories Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Marcelo P. Fiore A Coinduction Principle for Recursive Data Types Based on Bisimulation Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Ursula Martin, Elizabeth Scott The order types of termination orderings on monadic terms, strings and multisets Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Val Tannen, Delia Kesner, Laurence Puel A Typed Pattern Calculus Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Jon Barwise, Jerry Seligman Imperfect information flow Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Laks V. S. Lakshmanan, Karima Ashraf, Jiawei Han 0001 Homomorphic Tree Embeddings and Their Applications to Recursive Program Optimization Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Michel Parigot Strong Normalization for Second Order Classical Natural Deduction Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Igor Walukiewicz On Completeness of the mu-calculus Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1 Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), Montreal, Canada, June 19-23, 1993 Search on Bibsonomy LICS The full citation details ... 1993 DBLP  BibTeX  RDF
1Amir Pnueli, Lenore D. Zuck In and Out of Temporal Logic Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Guy Fayolle, Stéphane Grumbach, Christophe Tollu Asymptotic Probabilities of Languages with Generalized Quantifiers Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Paliath Narendran, Frank Pfenning, Richard Statman On the Unification Problem for Cartesian Closed Categories Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1My Hoang, John C. Mitchell, Ramesh Viswanathan Standard ML-NJ weak polymorphism and imperative constructs Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gordon D. Plotkin Type Theory and Recursion (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Bengt Jonsson 0001 Verifying Programs with Unreliable Channels Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Amy P. Felty Encoding the Calculus of Constructions in a Higher-Order Logic Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi Compositional Analysis for Concurrent Constraint Programming Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Stephen D. Brookes Full Abstraction for a Shared Variable Parallel Language Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Joachim Lambek Programs, grammars and arguments: a personal view of some connections between computation, language and logic Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Vincent Danos, Laurent Regnier Local and asynchronous beta-reduction (an analysis of Girard's execution formula) Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1James F. Lynch Infinitary Logics and Very Sparse Random Graphs Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson Database Query Languages Embedded in the Typed Lambda Calculus Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Shang-Ching Chou, Xiao-Shan Gao, Jing-Zhong Zhang Automated Production of Traditional Proofs for Constructive Geometry Theorems Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1John C. Mitchell, Furio Honsell, Kathleen Fisher A lambda calculus of objects and method specialization Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Andrew M. Pitts Bisimulation and Co-induction (Tutorial) Search on Bibsonomy LICS The full citation details ... 1993 DBLP  BibTeX  RDF
1Matthew Hennessy A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract) Search on Bibsonomy LICS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
Displaying result #1601 - #1700 of 2015 (100 per page; Change: )
Pages: [<<][7][8][9][10][11][12][13][14][15][16][17][18][19]
[20][21][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license