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

TOTAL DOCUMENTS

78

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540078548, 9783540381693

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Observability concepts in abstract data type specification

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

10.1007/3-540-07854-1_231 ◽

1976 ◽

pp. 576-587 ◽

Author(s):

V. Giarratana ◽

F. Gimona ◽

U. Montanari

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Abstract Data ◽

Type Specification

Download Full-text

The cubic search method

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

10.1007/3-540-07854-1_201 ◽

1976 ◽

pp. 372-376

Author(s):

Romuald Jagielski

Keyword(s):

Download Full-text

A machine independent description of complexity classes, definable by nondeterministic as well as deterministic turing machines with primitiv recursive tape or time bounds

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

10.1007/3-540-07854-1_197 ◽

1976 ◽

pp. 345-351

Author(s):

H. Huwig

Keyword(s):

Complexity Classes ◽

Turing Machines ◽

Download Full-text

About three equational classes of languages built up by shuffle operations

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

10.1007/3-540-07854-1_196 ◽

1976 ◽

pp. 337-344 ◽

Author(s):

Matthias Höpner ◽

Manfred Opp

Download Full-text

Relations between programs with different storage requirements

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

10.1007/3-540-07854-1_194 ◽

1976 ◽

pp. 323-329

Author(s):

M. D. Harrison

Download Full-text

Programs, computations and temporal features

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

10.1007/3-540-07854-1_180 ◽

1976 ◽

pp. 237-243

Author(s):

Marco Colombetti ◽

Enrico Pagello

Keyword(s):

Temporal Features

Download Full-text

Analysis of the non-context-free component of formal languages

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

10.1007/3-540-07854-1_179 ◽

1976 ◽

pp. 230-236 ◽

Author(s):

Michal P. Chytil

Keyword(s):

Formal Languages ◽

Download Full-text

Cannonizing reducibility method in the theory of program schemata

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

10.1007/3-540-07854-1_177 ◽

1976 ◽

pp. 216-223

Author(s):

A. O. Buda

Download Full-text

On the termination of simple computer programs

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

10.1007/3-540-07854-1_174 ◽

1976 ◽

pp. 194-201

Author(s):

Eberhard Bergmann

Keyword(s):

Computer Programs ◽

Simple Computer

Download Full-text

On attribute grammars

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

10.1007/3-540-07854-1_170 ◽

1976 ◽

pp. 169-172 ◽

Author(s):

V. N. Agafonov

Keyword(s):

Attribute Grammars

Download Full-text