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

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