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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540543459, 9783540475798

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 4

Author(s):

Mogens Nielsen

Download Full-text

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 1

Author(s):

Barbara Paech

Keyword(s):

Temporal Logic

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 1

Author(s):

Oscar H. Ibarra ◽

Tao Jiang ◽

Hui Wang

Keyword(s):

Finite Automata ◽

On Line

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 ◽

Cited By ~ 11

Author(s):

Juraj Hromkovič ◽

Burkhard Monien

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 ◽

Cited By ~ 2

Author(s):

Padmanabhan Krishnan

Keyword(s):

Real Time ◽

Real Time Systems ◽

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 ◽

Cited By ~ 2

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

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Models for concurrency

Different modifications of pointer machines and their computational power

Extending temporal logic by explicit concurrency

A decidable case of the semi-unification problem

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

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

On strict codes

A model for real-time systems

A solution of the complement problem in associatiue-commutatiue theories

The complexity of the reliable connectivity problem

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