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

TOTAL DOCUMENTS

57

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540108566, 9783540387695

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the complexity of word problems in certain Thue systems

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

10.1007/3-540-10856-4_87 ◽

1981 ◽

pp. 216-223 ◽

Author(s):

R. Book ◽

M. Jantzen ◽

B. Monien ◽

C. Ó'Dúnlaing ◽

C. Wrathall

Keyword(s):

Download Full-text

More about the "geography" of context-free languages

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

10.1007/3-540-10856-4_84 ◽

1981 ◽

pp. 183-192

Author(s):

J. Beauquier ◽

J. Berstel

Keyword(s):

Download Full-text

Axioms for the term-wise correctness of programs

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

10.1007/3-540-10856-4_118 ◽

1981 ◽

pp. 499-507

Author(s):

Stefan Sokołowski

Keyword(s):

Correctness Of Programs

Download Full-text

A framework for studying grammars

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

10.1007/3-540-10856-4_115 ◽

1981 ◽

pp. 473-482 ◽

Author(s):

Branislav Rovan

Download Full-text

Codings of nonnegative integers

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

10.1007/3-540-10856-4_105 ◽

1981 ◽

pp. 379-388

Author(s):

Ivan Korec

Download Full-text

Grammatical levels of the position restricted grammars

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

10.1007/3-540-10856-4_102 ◽

1981 ◽

pp. 347-359

Author(s):

Alica Kelemenová

Download Full-text

On the transformation of derivation graphs to derivation trees

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

10.1007/3-540-10856-4_88 ◽

1981 ◽

pp. 224-233

Author(s):

Franz-Josef Brandenburg

Download Full-text

Constructive category theory (No. 1)

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

10.1007/3-540-10856-4_125 ◽

1981 ◽

pp. 563-577 ◽

Author(s):

Akira Kanda

Keyword(s):

Category Theory

Download Full-text

Generalizations of Petri nets

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

10.1007/3-540-10856-4_80 ◽

1981 ◽

pp. 140-155 ◽

Author(s):

Rüdiger Valk

Keyword(s):

Download Full-text

A survey of some recent results on computational complexity in weak theories of arithmetic

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

10.1007/3-540-10856-4_73 ◽

1981 ◽

pp. 46-60 ◽

Author(s):

Deborah Joseph ◽

Paul Young

Keyword(s):

Computational Complexity ◽

Download Full-text