Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 229,139,251 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.
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.
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
2005
2005
Infinitary Rewriting: From Syntax to Semantics
R. Kennaway
,
P. Severi
,
R. Sleep
,
F. D. Vries
Processes, Terms and Cycles
2005
Corpus ID: 7166000
Rewriting is the repeated transformation of a structured object according to a set of rules. This simple concept has turned out…
Expand
2002
2002
Laser-induced continuum structure in the two ionization continua of xenon
K. Böhmer
,
T. Halfmann
,
L. Yatsenko
,
D. Charalambidis
,
A. Horsmans
,
K. Bergmann
2002
Corpus ID: 59324169
We report the observation of pronounced, spectrally narrow laser-induced continuum structures (LICS) in the two ionization…
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
or Only Accept Required