Domain Theory, Logic and Computation
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Netherlands

9789048165230, 9789401712910
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Convergence Classes and Spaces of Partial Functions

2003 ◽  
pp. 75-115
Author(s):  
Anthony Karel Seda ◽  
Roland Heinze ◽  
Pascal Hitzler
Keyword(s):  
Partial Functions

Relational Representations of Hyper-Continuous Lattices

2003 ◽  
pp. 65-74 ◽  
Author(s):  
Xiao-Quan Xu ◽  
Ying-Ming Liu
Keyword(s):  
Continuous Lattices

A Note on Strongly Finite Sequent Structures

2003 ◽  
pp. 179-196
Author(s):  
Dieter Spreen ◽  
Ralf Greb

scholarly journals Playful, Streamlike Computation

2003 ◽  
pp. 1-24
Author(s):  
Pierre-Louis Curien

On Meet-Continuous Dcpos

2003 ◽  
pp. 117-135 ◽  
Author(s):  
Hui Kou ◽  
Ying-Ming Liu ◽  
Mao-Kang Luo

On Minimal Event and Concrete Data Structures

2003 ◽  
pp. 161-178
Author(s):  
Felipe Bracho ◽  
Manfred Droste ◽  
Ingmar Meinecke
Keyword(s):  
Data Structures
Load More ...
Sign in / Sign up

Export Citation Format

Share Document