Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,215,035 papers from all fields of science
Search
Sign In
Create Free Account
EACSL
The European Association for Computer Science Logic (EACSL), founded 14 July 1992, is an international professional non-profit organization…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Computer science
Workshop on Logic, Language, Information and Computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Computer Science Logic 2017
V. Goranko
,
M. Dam
2017
Corpus ID: 216001186
Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an…
Expand
2013
2013
Invariant-Free Deduction Systems for Temporal Logic
J. Gaintzarain
Bull. EATCS
2013
Corpus ID: 4782509
In this thesis we propose a new approach to deduction methods for temporal logic. Our proposal is based on an inductive…
Expand
2013
2013
Generic constraints for type-safe embedded programming
W. Jones
2013
Corpus ID: 34417303
Domain-specific languages (DSLs) are everywhere, with applications in areas such as parser generation, music synthesis, parallel…
Expand
2007
2007
The Ackermann Award 2007
Martin Grohe
,
M. Hyland
,
J. Makowsky
,
D. Niwinski
Annual Conference for Computer Science Logic
2007
Corpus ID: 8249261
The third Ackermann Award is presented at this CSL'07. This is the first year in which the EACSL Ackermann Award is generously…
Expand
2006
2006
The Ackermann Award 2006
S. Abramsky
,
E. Grädel
,
J. Makowsky
Annual Conference for Computer Science Logic
2006
Corpus ID: 14776967
The second Ackermann Award is presented at this CSL’06. Eligible for the 2006 Ackermann Award were PhD dissertations in topics…
Expand
2005
2005
Clemens Lautemann: 1951-2005 An Obituary
J. Makowsky
Annual Conference for Computer Science Logic
2005
Corpus ID: 206588550
The treasurer and board member of the European Association for Computer Science Logic (EACSL), Prof. Dr. Clemens Lautemann passed…
Expand
2003
2003
Computer science logic : 17th International Workshop, CSL 2003, 12th annual conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003 : proceedings
J. Makowsky
,
Kurt Gödel Colloquium
2003
Corpus ID: 86518906
Deciding Monotonic Games.- The Commuting V-Diagram.- Concurrent Construction of Proof-Nets.- Back to the Future: Explicit Logic…
Expand
2002
2002
Extracting Feasible Programs
Jean-Yves Marion
2002
Corpus ID: 17259930
This work in progress paper presents a methodology for reasoning about the computational complexity of functional programs, which…
Expand
1997
1997
On Explicit Substitutions and
N. Ritter
,
V. D. Paiva
1997
Corpus ID: 16927833
machines and sharing. Our presentation of a explicit substitution calculus has been driven by the correspondence with the…
Expand
1997
1997
Computer science logic : 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers
D. van Dalen
,
M. Bezem
1997
Corpus ID: 123090346
Four-valued diagnoses for stratified knowledge-bases.- Fast cut-elimination by projection.- On the subject reduction property for…
Expand