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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540083535, 9783540372851

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A uniform approach to inductive posets and inductive closure

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

10.1007/3-540-08353-7_137 ◽

1977 ◽

pp. 192-212 ◽

Cited By ~ 4

Author(s):

J. B. Wright ◽

E. G. Wagner ◽

J. W. Thatcher

Keyword(s):

Uniform Approach

Download Full-text

Time and tape bounded auxiliary pushdown automata

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

10.1007/3-540-08353-7_172 ◽

1977 ◽

pp. 493-503 ◽

Cited By ~ 9

Author(s):

I. H. Sudborough

Keyword(s):

Pushdown Automata

Download Full-text

Acceptors for iteration languages

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

10.1007/3-540-08353-7_168 ◽

1977 ◽

pp. 460-464 ◽

Cited By ~ 2

Author(s):

G. Rozenberg ◽

D. Vermeir

Download Full-text

A probabilistic restriction of branching plans

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

10.1007/3-540-08353-7_154 ◽

1977 ◽

pp. 342-349 ◽

Cited By ~ 1

Author(s):

Ivan Kramosil

Download Full-text

Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials

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

10.1007/3-540-08353-7_133 ◽

1977 ◽

pp. 135-147 ◽

Cited By ~ 3

Author(s):

C. P. Schnorr

Keyword(s):

Lower Bounds

Download Full-text

Algebra and logic in theoretical computer science

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

10.1007/3-540-08353-7_129 ◽

1977 ◽

pp. 78-92

Author(s):

Ferenc Gécseg ◽

E.-Tóth Péter

Keyword(s):

Computer Science ◽

Theoretical Computer Science ◽

Theoretical Computer

Download Full-text

Correctness of mixed computation in ALGOL-like programs

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

10.1007/3-540-08353-7_128 ◽

1977 ◽

pp. 59-77 ◽

Cited By ~ 7

Author(s):

A. P. Ershov ◽

V. E. Itkin

Download Full-text

Finite automaton from a flowchart scheme point of view

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

10.1007/3-540-08353-7_126 ◽

1977 ◽

pp. 44-51 ◽

Cited By ~ 2

Author(s):

Calvin C. Elgot

Keyword(s):

Finite Automaton ◽

Point Of View

Download Full-text

On the structure and properties of NP-complete problems and their associated optimization problems

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

10.1007/3-540-08353-7_123 ◽

1977 ◽

pp. 1-16 ◽

Cited By ~ 1

Author(s):

Giorgio Ausiello

Keyword(s):

Optimization Problems ◽

Structure And Properties ◽

Complete Problems ◽

Np Complete

Download Full-text

Exponential optimization for the LLP(k) parsing method

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

10.1007/3-540-08353-7_165 ◽

1977 ◽

pp. 435-442 ◽

Cited By ~ 3

Author(s):

Jan Pittl

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A uniform approach to inductive posets and inductive closure

Time and tape bounded auxiliary pushdown automata

Acceptors for iteration languages

A probabilistic restriction of branching plans

Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials

Algebra and logic in theoretical computer science

Correctness of mixed computation in ALGOL-like programs

Finite automaton from a flowchart scheme point of view

On the structure and properties of NP-complete problems and their associated optimization problems

Exponential optimization for the LLP(k) parsing method

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