Skip to search formSkip to main contentSkip to account menu

Symposium on Logic in Computer Science

Known as: IEEE Symposium on Logic in Computer Science, Logic in Computer Science (IEEE symposium), LICS 
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in… 
Wikipedia (opens in a new tab)

Related topics

Related topics

12 relations
ACM Transactions on Computational LogicComputer scienceDavide SangiorgiDexter Kozen

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science
This volume contains the proceedings of the Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) held at… 
2010
2010
Logics in Computer Science
In this thesis, we introduce and examine four new temporal logic formalisms that can be used as specification languages for the… 
2009
2009
to each according to his (or her) needs:: WHERE ARE THE POOR IN INNOVATION STUDIES?
Review
2008
Review
2008
Creating insurance markets for natural disaster risk in lower income countries: the potential role for securitization
This article considers the potential for securitizing index‐based insurance products that transfer weather and natural disaster… 
2006
2006
Rovibrational dynamics of LiCs dimers in strong electric fields
2003
2003
On the symmetry reduction method for Petri nets and similar formalisms
The symmetry reduction method is a technique for alleviating the combinatorial explosion problem arising in the state space… 
2000
2000
Induction=I-Axiomatization+First-Order Consistency
In the early 1980s, there was a number of papers on what should be called proofs by consistency. They describe how to perform… 
Highly Cited
2000
Highly Cited
2000
Quantitative assessment of improved rice variety adoption: the farmer's perspective
1996
1996
Incremental Methods for Formal Verification and Logic Synthesis
IC design is an iterative process; the initial specification of a design is rarely complete and correct. The designer begins with… 
Highly Cited
1988
Highly Cited
1988
Computational Metatheory in Nuprl
This paper describes an implementation within Nuprl of mechanisms that support the use of Nuprl's type theory as a language for… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)