Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,117,946 papers from all fields of science
Search
Sign In
Create Free Account
Symposium on Logic in Computer Science
Known as:
IEEE Symposium on Logic in Computer Science
, Logic in Computer Science (IEEE symposium)
, LICS
Expand
The ACM–IEEE Symposium on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
ACM Transactions on Computational Logic
Computer science
Davide Sangiorgi
Dexter Kozen
Expand
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
Eric Koskinen
,
Martin Grohe
,
N. Shankar
Logic in Computer Science
2016
Corpus ID: 44589325
This volume contains the proceedings of the Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) held at…
Expand
2015
2015
Teaching While Black: Witnessing Disciplinary Whiteness, Racial Violence, and Race-Management
Carmen Kynard
Logic in Computer Science
2015
Corpus ID: 58316800
Article for LiCS special issue The New Activism: Composition, Literacy Studies, and Politics.
2011
2011
Optimal Precautionary Reserves for Low-Income Countries: A Cost-Benefit Analysis
Jun Il Kim
,
Era Dabla‐Norris
,
Kazuko Shirono
Social Science Research Network
2011
Corpus ID: 59046858
This paper develops a cost-benefit approach that helps to quantify the optimal level of international reserves in low-income…
Expand
2009
2009
to each according to his (or her) needs:: WHERE ARE THE POOR IN INNOVATION STUDIES?
J. Lorentzen
,
R. Mohamed
2009
Corpus ID: 2794244
2009
2009
Dependency Tree Automata
C. Stirling
Foundations of Software Science and Computation…
2009
Corpus ID: 7961656
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of…
Expand
2007
2007
Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus
D. Cacciagrano
,
F. Corradini
,
Jesús Aranda
,
Frank D. Valencia
International Workshop on Expressiveness in…
2007
Corpus ID: 2038798
2006
2006
Rovibrational dynamics of LiCs dimers in strong electric fields
R. González-Férez
,
M. Mayle
,
P. Schmelcher
2006
Corpus ID: 17875234
2005
2005
Confluence of Shallow Right-Linear Rewrite Systems
Guillem Godoy
,
A. Tiwari
Annual Conference for Computer Science Logic
2005
Corpus ID: 18828069
We show that confluence of shallow and right-linear term rewriting systems is decidable. This class of rewriting system is…
Expand
2005
2005
Electronic books: their integration into library and information centers
Siriginidi Subba Rao
Electronic library
2005
Corpus ID: 7634163
Purpose – To highlight the salient features of e‐books, challenges that arise in integrating e‐books into library and information…
Expand
Highly Cited
1990
Highly Cited
1990
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
Conal Elliott
,
F. Pfenning
1990
Corpus ID: 54154214
In this chapter we develop an interpreter of a higher-order constraint logic programming language in Standard ML (SML). The logic…
Expand
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)
ACCEPT & CONTINUE
or Only Accept Required