default search action
LFCS 2018: Deerfield Beach, FL, USA
- Sergei N. Artëmov, Anil Nerode:
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings. Lecture Notes in Computer Science 10703, Springer 2018, ISBN 978-3-319-72055-5 - Antonis Achilleos
:
The Completeness Problem for Modal Logic. 1-21 - Sergei N. Artëmov
Justification Awareness Models. 22-36 - Arnon Avron, Liron Cohen
A Minimal Computational Theory of a Minimal Computational Universe. 37-54 - Matthias Baaz
A Sequent-Calculus Based Formulation of the Extended First Epsilon Theorem. 55-71 - Simone Barlocco, Clemens Kupke
Angluin Learning via Logic. 72-90 - Lev D. Beklemishev:
A Universal Algebra for the Variable-Free Fragment of $${\mathrm {RC}^\nabla }$$ RC ∇. 91-106 - Kai Brünnler, Dandolo Flumini, Thomas Studer
A Logic of Blockchain Updates. 107-119 - Agata Ciabattoni
From Display to Labelled Proofs for Tense Logics. 120-139 - Hannes Diener
Notions of Cauchyness and Metastability. 140-153 - Thomas Macaulay Ferguson:
A Gödel-Artemov-Style Analysis of Constructible Falsity. 154-169 - Silvia Ghilezan
Probabilistic Reasoning About Simply Typed Lambda Terms. 170-189 - Miika Hannula
Polyteam Semantics. 190-210 - Vladimir N. Krupski
On the Sharpness and the Single-Conclusion Property of Basic Justification Models. 211-220 - Yanhong A. Liu, Scott D. Stoller:
Founded Semantics and Constraint Semantics of Logic Rules. 221-241 - Robert S. Lubarsky:
Separating the Fan Theorem and Its Weakenings II. 242-255 - Valeria de Paiva
Dialectica Categories for the Lambek Calculus. 256-272 - V. Alexis Peluce
From Epistemic Paradox to Doxastic Arithmetic. 273-288 - Benjamin Ralph
A Natural Proof System for Herbrand's Theorem. 289-308 - Sam Sanders:
Metastability and Higher-Order Computability. 309-330 - Rick Statman:
The Completeness of BCD for an Operational Semantics. 331-336 - Junhua Yu
A Tableau System for Instantial Neighborhood Logic. 337-353 - Alexander Zapryagaev
Interpretations of Presburger Arithmetic in Itself. 354-367
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 01:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: