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

TOTAL DOCUMENTS

54

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540602460, 9783540447689

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automata for the modal μ-calculus and related results

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

10.1007/3-540-60246-1_160 ◽

1995 ◽

pp. 552-562 ◽

Author(s):

David Janin ◽

Igor Walukiewicz

Download Full-text

Syntax and semantics of Procol

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

10.1007/3-540-60246-1_156 ◽

1995 ◽

pp. 509-518

Author(s):

Roel Goot ◽

Arie Bruin

Download Full-text

An abstract account of composition

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

10.1007/3-540-60246-1_155 ◽

1995 ◽

pp. 499-508 ◽

Author(s):

Martín Abadi ◽

Stephan Merz

Download Full-text

Solving cheap graph problems on Meshes

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

10.1007/3-540-60246-1_147 ◽

1995 ◽

pp. 412-422

Author(s):

Jop F. Sibeyn ◽

Michael Kaufmann

Keyword(s):

Download Full-text

String recognition on anonymous rings

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

10.1007/3-540-60246-1_145 ◽

1995 ◽

pp. 392-401 ◽

Author(s):

Evangelos Kranakis ◽

Danny Krizanc ◽

Flaminia L. Luccio

Download Full-text

Separations by random oracles and “Almost” classes for generalized reducibilities

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

10.1007/3-540-60246-1_124 ◽

1995 ◽

pp. 179-190 ◽

Author(s):

Wolfgang Merkle ◽

Yongge Wang

Keyword(s):

Download Full-text

Measure on P: Robustness of the notion

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

10.1007/3-540-60246-1_119 ◽

1995 ◽

pp. 129-138 ◽

Author(s):

Eric Allender ◽

Martin Strauss

Download Full-text

Symbolic dynamics and finite automata

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

10.1007/3-540-60246-1_116 ◽

1995 ◽

pp. 94-104 ◽

Author(s):

Dominique Perrin

Keyword(s):

Symbolic Dynamics ◽

Finite Automata

Download Full-text

Derandomization for sparse approximations and independent sets

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

10.1007/3-540-60246-1_126 ◽

1995 ◽

pp. 201-210 ◽

Author(s):

Thomas Hofmeister ◽

Hanno Lefmann

Keyword(s):

Independent Sets ◽

Sparse Approximations

Download Full-text

Honeycomb networks

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

10.1007/3-540-60246-1_133 ◽

1995 ◽

pp. 267-276 ◽

Author(s):

Ivan Stojmenović

Download Full-text