Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,059,001 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.
Review
2018
Review
2018
SIGLOG monthly 198
Daniela Petrisan
SIGL
2018
Corpus ID: 13635437
Deadline: January 15th, 2018 Submission Deadline: January 22nd, 2018 Rebuttal: March 22 25th, 2018 Notification: April 2nd, 2018…
Expand
2016
2016
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
H. Vogler
,
M. Droste
,
Luisa Herrmann
Language and Automata Theory and Applications
2016
Corpus ID: 26523424
We introduce a weighted MSO-logic in which one outermost existential quantification over behaviours of a storage type is allowed…
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
2010
2010
Yuri, Logic, and Computer Science
A. Blass
,
N. Dershowitz
,
W. Reisig
Fields of Logic and Computation
2010
Corpus ID: 17974883
Yuri Gurevich was born on May 7, 1940, in Nikolayev, Ukraine, which was a part of Soviet Union at the time. A year later, World…
Expand
2006
2006
Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Z. Ésik
Annual Conference for Computer Science Logic
2006
Corpus ID: 37397600
Invited Presentations.- Functorial Boxes in String Diagrams.- Some Results on a Game-Semantic Approach to Verifying Finitely…
Expand
2001
2001
Computer Science Logic: 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
L. Fribourg
2001
Corpus ID: 120739879
Invited Papers.- Local Reasoning about Programs that Alter Data Structures.- Applications of Alfred Tarski's Ideas in Database…
Expand
1998
1998
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers
M. Nielsen
,
W. Thomas
1998
Corpus ID: 118655442
Call-by-value games.- LISA: A specification language based on WS2S.- Evolution as a computational engine.- Timeless games.- From…
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
1996
1996
Computer science logic : 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
H. K. Büning
1996
Corpus ID: 122423683
Incompleteness of a first-order godel logic and some temporal logics of programs.- Semantics of non-terminating rewrite systems…
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