Lecture Notes in Computer Science - Theoretical Aspects of Computer Software
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

10
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540427360, 9783540455004
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Non-structural Subtype Entailment in Automata Theory

2001 ◽  
pp. 360-384 ◽  
Author(s):  
Joachim Niehren ◽  
Tim Priesnitz
Keyword(s):  
Automata Theory

Infinite Intersection and Union Types for the Lazy Lambda Calculus

2001 ◽  
pp. 448-458
Author(s):  
Marcello M. Bonsangue ◽  
Joost N. Kok
Keyword(s):  
Lambda Calculus

Solo Diagrams

2001 ◽  
pp. 127-144 ◽  
Author(s):  
Cosimo Laneve ◽  
Joachim Parrow ◽  
Björn Victor

Formal Eavesdropping and Its Computational Interpretation

2001 ◽  
pp. 82-94 ◽  
Author(s):  
Martín Abadi ◽  
Jan Jürjens

Unison: A File Synchronizer and Its Specification

2001 ◽  
pp. 560-560 ◽  
Author(s):  
Benjamin C. Pierce ◽  
Jérôme Vouillon
Load More ...
Sign in / Sign up

Export Citation Format

Share Document