default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th WoLLIC 2018: Bogota, Colombia
- Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez:
Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings. Lecture Notes in Computer Science 10944, Springer 2018, ISBN 978-3-662-57668-7 - Katalin Bimbó
:
Inhabitants of Intuitionistic Implicational Theorems. 1-24 - José Meseguer:
Symbolic Reasoning Methods in Rewriting Logic and Maude. 25-60 - Elaine Pimentel:
A Semantical View of Proof Systems. 61-76 - Ryota Akiyoshi:
A Formalization of Brouwer's Argument for Bar Induction. 77-90 - Carlos Areces, Miguel Campercholi, Pablo Ventura:
Deciding Open Definability via Subisomorphisms. 91-105 - Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval:
APAL with Memory Is Better. 106-129 - Marta Bílková, Petr Cintula, Tomás Lávicka:
Lindenbaum and Pair Extension Lemma in Infinitary Logics. 130-144 - Adam Bjorndahl:
The Epistemology of Nondeterminism. 145-162 - Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira:
Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. 163-178 - Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu:
Unification Modulo Builtins. 179-195 - Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz:
Formalization of the Undecidability of the Halting Problem for a Functional Language. 196-209 - Daniyar Itegulov, Ekaterina Lebedeva:
Handling Verb Phrase Anaphora with Dependent Types and Events. 210-222 - Akitoshi Kawamura, Florian Steinberg, Holger Thies:
Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. 223-236 - Tomoaki Kawano:
Advanced Kripke Frame for Quantum Logic. 237-249 - Johann A. Makowsky:
The Undecidability of Orthogonal and Origami Geometries. 250-270 - Thiago Nascimento, Umberto Rivieccio, João Marcos, Matthew Spinks:
Algebraic Semantics for Nelson's Logic S S. 271-288 - Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada:
Beliefs Based on Evidence and Argumentation. 289-306 - Sonja Smets, Anthia Solaki:
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. 307-324
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-01 00:18 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:
