Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
The model checking of higher-order recursion schemes has been actively studied and is now becoming a basis of higher-order… Expand
  • figure 1
  • table 1
  • figure 3
  • table 2
2010
2010
In this thesis, we introduce and examine four new temporal logic formalisms that can be used as specification languages for the… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
  • figure 3.2
2007
2007
We study the construction of labelled transition systems from reactive systems defined over directed bigraphs, a computational… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Highly Cited
2005
Highly Cited
2005
 
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • figure 2.5
2000
2000
In the early 1980s, there was a number of papers on what should be called proofs by consistency. They describe how to perform… Expand
Highly Cited
1997
Highly Cited
1997
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1997
Highly Cited
1997
The paper presents a new model of query and computation on the Web. We focus on two important aspects that distinguish the access… Expand
Highly Cited
1995
Highly Cited
1995
Interpretation: a Semantic-Based Tool for Program Analysis, in: Handbook of logic in computer science (vol. 4). Oxford University… Expand
Highly Cited
1993
Highly Cited
1993
Because of the difficulty of adequately simulating large digital designs, there has been a recent surge of interest in formal… Expand
  • figure 2.7
Highly Cited
1988
Highly Cited
1988
  • D. Howe
  • CADE
  • 1988
  • Corpus ID: 206839620
This paper describes an implementation within Nuprl of mechanisms that support the use of Nuprl's type theory as a language for… Expand