STACS 84 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540129202, 9783540388050

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On expressive interpretations of a Hoare-logic for Clarke's language L4

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_7 ◽

1984 ◽

pp. 73-84 ◽

Author(s):

Bernhard Josko

Keyword(s):

Download Full-text

Computability in higher types and the universal domain Pω

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_17 ◽

1984 ◽

pp. 186-197

Author(s):

G. Longo ◽

S. Martini

Keyword(s):

Higher Types ◽

Universal Domain

Download Full-text

On a general weight of trees

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_10 ◽

1984 ◽

pp. 109-120 ◽

Author(s):

R. Kemp

Keyword(s):

Download Full-text

A new definition of morphism on Petri nets

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_13 ◽

1984 ◽

pp. 140-150 ◽

Author(s):

Glynn Winskel

Keyword(s):

Download Full-text

Pusdown space complexity and related full-A.F.L.s.

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_23 ◽

1984 ◽

pp. 250-259 ◽

Author(s):

J. Gabarro

Keyword(s):

Space Complexity

Download Full-text

Polynomial time inference of general pattern languages

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_29 ◽

1984 ◽

pp. 314-325 ◽

Author(s):

Klaus P. Jantke

Keyword(s):

Polynomial Time ◽

General Pattern ◽

Pattern Languages

Download Full-text

A property of three-element codes

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_28 ◽

1984 ◽

pp. 305-313 ◽

Author(s):

Juhani Karhumäki

Download Full-text

Algebraic and topological theory of languages and computation

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_27 ◽

1984 ◽

pp. 299-304

Author(s):

John Rhodes

Keyword(s):

Topological Theory

Download Full-text

Optimal layouts of the tree of meshes with vertices on the perimeter of the bounding convex region

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_19 ◽

1984 ◽

pp. 209-217

Author(s):

O. Sýkora ◽

I. Vrto

Keyword(s):

Download Full-text

Blocage et vivacité dans les réseaux a pile-file

STACS 84 - Lecture Notes in Computer Science ◽

10.1007/3-540-12920-0_14 ◽

1984 ◽

pp. 151-162 ◽

Author(s):

A. Finkel

Download Full-text