Lecture Notes in Computer Science - CSL '89
Latest Publications

TOTAL DOCUMENTS

28
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540527534, 9783540471370
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantic for abstract fairness using metric spaces

1990 ◽  
pp. 355-368
Author(s):  
Lutz Priese ◽  
Doris Nolte
Keyword(s):  
Metric Spaces

On the verification of modules

1990 ◽  
pp. 16-35 ◽  
Author(s):  
G. Antoniou ◽  
V. Sperschneider

Effectively given information systems and domains

1990 ◽  
pp. 116-142 ◽  
Author(s):  
Manfred Droste ◽  
Rüdiger Göbel
Keyword(s):  
Information Systems

On the average time complexity of set partitioning

1990 ◽  
pp. 369-381 ◽  
Author(s):  
Ewald Speckenmeyer ◽  
Rainer Kemp
Keyword(s):  
Time Complexity ◽  
Set Partitioning

Set-theoretic reductions of Hilbert's tenth problem

1990 ◽  
pp. 65-75 ◽  
Author(s):  
D. Cantone ◽  
V. Cutello ◽  
A. Policriti
Keyword(s):  
Hilbert's Tenth Problem ◽  
Hilbert’S Tenth Problem
Load More ...
Sign in / Sign up

Export Citation Format

Share Document