default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLFCS 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, Alexander Leitsch, Anela Lolic:
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, Tim Lyon, Revantha Ramanayake:
From Display to Labelled Proofs for Tense Logics. 120-139 - Hannes Diener, Robert S. Lubarsky:
Notions of Cauchyness and Metastability. 140-153 - Thomas Macaulay Ferguson:
A Gödel-Artemov-Style Analysis of Constructible Falsity. 154-169 - Silvia Ghilezan, Jelena Ivetic, Simona Kasterovic, Zoran Ognjanovic, Nenad Savic:
Probabilistic Reasoning About Simply Typed Lambda Terms. 170-189 - Miika Hannula, Juha Kontinen, Jonni Virtema:
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, Harley Eades III:
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, Fedor Pakhomov:
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 2025-02-21 19:21 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:
