Logic, Language, Information, and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662576687, 9783662576694
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formalization of the Undecidability of the Halting Problem for a Functional Language

2018 ◽  
pp. 196-209 ◽  
Author(s):  
Thiago Mendonça Ferreira Ramos ◽  
César Muñoz ◽  
Mauricio Ayala-Rincón ◽  
Mariano Moscato ◽  
Aaron Dutle ◽  
...  
Keyword(s):  
Functional Language ◽  
Halting Problem

A Semantical View of Proof Systems

2018 ◽  
pp. 61-76 ◽  
Author(s):  
Elaine Pimentel
Keyword(s):  
Proof Systems

scholarly journals Handling Verb Phrase Anaphora with Dependent Types and Events

2018 ◽  
pp. 210-222
Author(s):  
Daniyar Itegulov ◽  
Ekaterina Lebedeva
Keyword(s):  
Dependent Types ◽  
Verb Phrase

Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic

2018 ◽  
pp. 163-178
Author(s):  
Luis Henrique Bustamante ◽  
Ana Teresa Martins ◽  
Francicleber Ferreira Martins
Keyword(s):  
Parameterized Complexity ◽  
Order Logic ◽  
First Order Logic ◽  
First Order

Deciding Open Definability via Subisomorphisms

2018 ◽  
pp. 91-105
Author(s):  
Carlos Areces ◽  
Miguel Campercholi ◽  
Pablo Ventura

Unification Modulo Builtins

2018 ◽  
pp. 179-195 ◽  
Author(s):  
Ştefan Ciobâcă ◽  
Andrei Arusoaie ◽  
Dorel Lucanu
Load More ...
Sign in / Sign up

Export Citation Format

Share Document