Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,381,342 papers from all fields of science
Search
Sign In
Create Free Account
Logical Methods in Computer Science
Logical Methods in Computer Science (LMCS) is a peer-reviewed journal in theoretical computer science and applied logic conceived in 2004. The first…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Harry Mairson
J operator
Neil Immerman
Pebble game
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Towards Privacy-Preserving Ontology Publishing
F. Baader
,
Adrian Nuradiansyah
Description Logics
2018
Corpus ID: 53061589
. We make a first step towards adapting the approach of Cuenca Grau and Kostylev for privacy-preserving publishing of linked data…
Expand
2016
2016
A Certified Decision Procedure for Sophisticated Fractional Permissions
Le Xuan Bach
,
Aquinas Hobor
2016
Corpus ID: 15610983
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission…
Expand
2015
2015
Certification de programmes avec des effets calculatoires
Burak Ekici
2015
Corpus ID: 170403866
Dans cette these, nous visons a formaliser les effets calculatoires. En effet, les langages de programmation les plus utilises…
Expand
2015
2015
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
Burak Ekici
2015
Corpus ID: 29852513
In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts…
Expand
2013
2013
Programming with Classical Proofs
Hans Bugge Grathwohl
2013
Corpus ID: 124682409
This thesis is about extracting programs from classical proofs. In the first part, we show conservativity of Peano arithmetic…
Expand
2013
2013
Description of the thesis : Study of classes of regular cost functions
Denis Kuperberg
2013
Corpus ID: 53620190
The goal of the thesis was to study the recent theory of regular cost functions. This theory extends strictly the theory of…
Expand
Review
2012
Review
2012
Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011
Florian Kammueller
2012
Corpus ID: 61335476
The authors present a logical framework for reasoning in a compositional way about concurrent systems that communicate by message…
Expand
2010
2010
International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006
M. Bugliesi
,
V. Sassone
2010
Corpus ID: 57724627
Preface to the 'Logical Methods in Computer Science', special issue dedicated to ICALP 2006, Track B: Logic, Semantics and Theory…
Expand
Review
2009
Review
2009
Model Checking of PSL Safety Properties
Tuomas Launiainen
,
Keijo Heljanko
,
Tommi A. Junttila
2009
Corpus ID: 3041981
Model checking is a modern, efficient approach to gaining confidence of the correctness of complex systems. It outperforms…
Expand
2009
2009
Games and logic (Parity games)
I. Walukiewicz
2009
Corpus ID: 117327900
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