Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
Latest Publications

TOTAL DOCUMENTS

25
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540672579, 9783540464327
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals A Program Refinement Framework Supporting Reasoning about Knowledge and Time

2000 ◽  
pp. 114-129 ◽  
Author(s):  
Kai Engelhardt ◽  
Ron van der Meyden ◽  
Yoram Moses
Keyword(s):  
Reasoning About Knowledge

scholarly journals Categorical Models for Intuitionistic and Linear Type Theory

2000 ◽  
pp. 223-237 ◽  
Author(s):  
Maria Emilia Maietti ◽  
Valeria de Paiva ◽  
Eike Ritter
Keyword(s):  
Type Theory ◽  
Linear Type ◽  
Categorical Models

scholarly journals Proof Nets and Explicit Substitutions

2000 ◽  
pp. 63-81 ◽  
Author(s):  
Roberto Di Cosmo ◽  
Delia Kesner ◽  
Emmanuel Polonovski
Keyword(s):  
Explicit Substitutions ◽  
Proof Nets

scholarly journals On Rational Graphs

2000 ◽  
pp. 252-266 ◽  
Author(s):  
Christophe Morvan

scholarly journals On Synchronous and Asynchronous Mobile Processes

2000 ◽  
pp. 283-296 ◽  
Author(s):  
Paola Quaglia ◽  
David Walker
Keyword(s):  
Mobile Processes
Load More ...
Sign in / Sign up

Export Citation Format

Share Document