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

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540543459, 9783540475798

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Different modifications of pointer machines and their computational power

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

10.1007/3-540-54345-7_86 ◽

1991 ◽

pp. 426-435 ◽

Author(s):

Konstantin V. Shvachko

Keyword(s):

Computational Power ◽

Pointer Machines

Download Full-text

Extending temporal logic by explicit concurrency

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

10.1007/3-540-54345-7_81 ◽

1991 ◽

pp. 377-386 ◽

Author(s):

Barbara Paech

Keyword(s):

Download Full-text

A decidable case of the semi-unification problem

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

10.1007/3-540-54345-7_75 ◽

1991 ◽

pp. 318-327 ◽

Author(s):

Hans Leiß ◽

Fritz Henglein

Keyword(s):

Unification Problem

Download Full-text

Some results concerning 2-D on-line tessellation acceptors and 2-D alternating finite automata

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

10.1007/3-540-54345-7_65 ◽

1991 ◽

pp. 221-230 ◽

Author(s):

Oscar H. Ibarra ◽

Tao Jiang ◽

Hui Wang

Keyword(s):

Finite Automata ◽

Download Full-text

The bisection problem for graphs of degree 4 (configuring transputer systems)

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

10.1007/3-540-54345-7_64 ◽

1991 ◽

pp. 211-220 ◽

Author(s):

Juraj Hromkovič ◽

Burkhard Monien

Download Full-text

Models for concurrency

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

10.1007/3-540-54345-7_47 ◽

1991 ◽

pp. 43-46 ◽

Author(s):

Mogens Nielsen

Download Full-text

On strict codes

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

10.1007/3-540-54345-7_74 ◽

1991 ◽

pp. 308-317

Author(s):

Nguyen Huong Lam ◽

Do Long

Download Full-text

A model for real-time systems

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

10.1007/3-540-54345-7_73 ◽

1991 ◽

pp. 298-307 ◽

Author(s):

Padmanabhan Krishnan

Keyword(s):

Real Time ◽

Real Time Systems ◽

Download Full-text

A solution of the complement problem in associatiue-commutatiue theories

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

10.1007/3-540-54345-7_72 ◽

1991 ◽

pp. 287-297 ◽

Author(s):

Kounalis Emmanuel ◽

Lugiez Denis ◽

Pottier Loic

Download Full-text

The complexity of the reliable connectivity problem

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

10.1007/3-540-54345-7_69 ◽

1991 ◽

pp. 259-266

Author(s):

Dimitris Kavadias ◽

Lefteris M. Kirousis ◽

Paul Spirakis

Keyword(s):

Connectivity Problem

Download Full-text