Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989
Latest Publications

TOTAL DOCUMENTS

52

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540514862, 9783540481768

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the lengths of values in a finite transducer

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_98 ◽

1989 ◽

pp. 523-533 ◽

Author(s):

Andreas Weber

Keyword(s):

Finite Transducer

Download Full-text

Integer relations among algebraic numbers

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_78 ◽

1989 ◽

pp. 314-320 ◽

Author(s):

Bettina Just

Keyword(s):

Algebraic Numbers

Download Full-text

Pinwheel scheduling with two distinct numbers

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_75 ◽

1989 ◽

pp. 281-290 ◽

Author(s):

Robert Holte ◽

Louis Rosier ◽

Igor Tulchinsky ◽

Donald Varvel

Download Full-text

Proving correctness of constructor implementations

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_70 ◽

1989 ◽

pp. 225-235 ◽

Author(s):

Jordi Farrés-Casals

Download Full-text

Logical characterizations of nonmonotonic TMSs

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_69 ◽

1989 ◽

pp. 218-224 ◽

Author(s):

Charles Elkan

Download Full-text

On the strength of temporal proofs

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_61 ◽

1989 ◽

pp. 135-144 ◽

Author(s):

Hajnal Andréka ◽

István Németi ◽

Ildikó Sain

Download Full-text

A thesis for bounded concurrency

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_55 ◽

1989 ◽

pp. 35-48 ◽

Author(s):

David Harel

Download Full-text

Concurrency, modularity, and synchronization

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_103 ◽

1989 ◽

pp. 577-598 ◽

Author(s):

Antoni Mazurkiewicz

Download Full-text

Correctness of concurrent processes

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_59 ◽

1989 ◽

pp. 107-132 ◽

Author(s):

Ernst-Rüdiger Olderog

Keyword(s):

Concurrent Processes

Download Full-text

Optimal data flow analysis via observational equivalence

Lecture Notes in Computer Science - Mathematical Foundations of Computer Science 1989 ◽

10.1007/3-540-51486-4_95 ◽

1989 ◽

pp. 492-502 ◽

Author(s):

Bernhard Steffen

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Observational Equivalence

Download Full-text