Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Harry MairsonJ operatorNeil ImmermanPebble game

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Feedback Control for Statistical Model Checking of Cyber-Physical Systems
We introduce feedback-control statistical system checking (FC-SSC), a new approach to statistical model checking that exploits… 
2016
2016
A Certified Decision Procedure for Sophisticated Fractional Permissions
We develop a certified decision procedure for reasoning about systems of equations over the “tree share” fractional permission… 
2016
2016
Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods. (Amélioration de la précision numérique de programmes basés sur l'arithmétique flottante par…
Critical software based on floating-point arithmetic requires rigorous verification and validation process to improve our… 
2015
2015
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts… 
2015
2015
Certification de programmes avec des effets calculatoires
Dans cette these, nous visons a formaliser les effets calculatoires. En effet, les langages de programmation les plus utilises… 
2015
2015
Neural Programming: Towards adaptive control in Cyber-Physical Systems
We introduce Neural Programming (NP), a novel paradigm for writing adaptive controllers for Cyber-Physical Systems (CPSs). In NP… 
2013
2013
Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties
We study monitoring of visibly context-free properties. These properties reflect the common concept of nesting which arises… 
2013
2013
Description of the thesis : Study of classes of regular cost functions
The goal of the thesis was to study the recent theory of regular cost functions. This theory extends strictly the theory of… 
2012
2012
CDCL-Based Abstract State Transition System for Coherent Logic
We present a new, CDCL-based approach for automated theorem proving in coherent logic -- an expressive semi-decidable fragment of… 
2009
2009
Games and logic (Parity games)
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)