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

TOTAL DOCUMENTS

50

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540558088, 9783540472919

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Definitions and comparisons of local computations on graphs

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

10.1007/3-540-55808-x_35 ◽

1992 ◽

pp. 364-373 ◽

Author(s):

Igor Litovsky ◽

Yves Métivier ◽

Eric Sopena

Download Full-text

Parallel recognition and ranking of context-free languages

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

10.1007/3-540-55808-x_3 ◽

1992 ◽

pp. 24-36 ◽

Author(s):

Klaus-Jörn Lange ◽

Peter Rossmanith ◽

Wojciech Rytter

Keyword(s):

Download Full-text

Parallel complexity of iterated morphisms and the arithmetic of small numbers

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

10.1007/3-540-55808-x_21 ◽

1992 ◽

pp. 227-235 ◽

Author(s):

Carsten Damm ◽

Markus Holzer ◽

Klaus-Jörn Lange

Keyword(s):

Parallel Complexity

Download Full-text

Promise problems and access to unambiguous computation

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

10.1007/3-540-55808-x_14 ◽

1992 ◽

pp. 162-171 ◽

Author(s):

Jin-yi Cai ◽

Lane A. Hemachandra ◽

Jozef Vyskoč

Keyword(s):

Promise Problems

Download Full-text

Almost every set in exponential time is P-bi-immune

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

10.1007/3-540-55808-x_38 ◽

1992 ◽

pp. 392-400 ◽

Author(s):

Elvira Mayordomo

Keyword(s):

Exponential Time

Download Full-text

Theory of computation over stream algebras, and its applications

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

10.1007/3-540-55808-x_6 ◽

1992 ◽

pp. 62-80 ◽

Author(s):

J. V. Tucker ◽

J. I. Zucker

Keyword(s):

Theory Of Computation

Download Full-text

A strategy for speeding-up the computation of characteristic sets

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

10.1007/3-540-55808-x_49 ◽

1992 ◽

pp. 504-510 ◽

Author(s):

Dongming Wang

Keyword(s):

Characteristic Sets

Download Full-text

Fully abstract semantics for higher order communicating systems

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

10.1007/3-540-55808-x_45 ◽

1992 ◽

pp. 463-471

Author(s):

S. Ramesh

Keyword(s):

Higher Order ◽

Abstract Semantics

Download Full-text

A functorial semantics for observed concurrency

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

10.1007/3-540-55808-x_39 ◽

1992 ◽

pp. 401-411 ◽

Author(s):

David Murphy ◽

Axel Poigné

Download Full-text

Mobility in the CC-paradigm

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

10.1007/3-540-55808-x_32 ◽

1992 ◽

pp. 336-345 ◽

Author(s):

Cosimo Laneve ◽

Ugo Montanari

Download Full-text