![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
25th 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.