Logical Foundations of Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319720555, 9783319720562
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Dialectica Categories for the Lambek Calculus

2017 ◽  
pp. 256-272
Author(s):  
Valeria de Paiva ◽  
Harley Eades
Keyword(s):  
Lambek Calculus

scholarly journals From Display to Labelled Proofs for Tense Logics

2017 ◽  
pp. 120-139 ◽  
Author(s):  
Agata Ciabattoni ◽  
Tim Lyon ◽  
Revantha Ramanayake

scholarly journals Polyteam Semantics

2017 ◽  
pp. 190-210 ◽  
Author(s):  
Miika Hannula ◽  
Juha Kontinen ◽  
Jonni Virtema

Justification Awareness Models

2017 ◽  
pp. 22-36 ◽  
Author(s):  
Sergei Artemov

Notions of Cauchyness and Metastability

2017 ◽  
pp. 140-153 ◽  
Author(s):  
Hannes Diener ◽  
Robert Lubarsky
Load More ...
Sign in / Sign up

Export Citation Format

Share Document