Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,350,547 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.
2010
2010
Permanent dipole moment of LiCs in the ground state
J. Deiglmayr
,
A. Grochoła
,
M. Repp
,
O. Dulieu
,
R. Wester
,
M. Weidemuller
2010
Corpus ID: 118624171
Recently we demonstrated the formation of ultracold polar LiCs molecules in deeply bound levels of the X{sup 1}{Sigma}{sup…
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
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
1992
1992
Generalized sufficient conditions for modular termination of rewriting
B. Gramlich
Applicable Algebra in Engineering, Communication…
1992
Corpus ID: 8403630
Modular properties of term rewriting systems, i.e. properties which are preserved under disjoint unions, have attracted an…
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