STACS 85 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer-Verlag

3540139125

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deriving stack semantics congruent to standard denotational semantics

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024018 ◽

2005 ◽

pp. 299-309

Author(s):

Véronique Royer

Keyword(s):

Denotational Semantics

Download Full-text

Planar circuits have short specifications

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024012 ◽

2005 ◽

pp. 231-242 ◽

Cited By ~ 3

Author(s):

W. F. McColl

Keyword(s):

Planar Circuits

Download Full-text

An algorithm to construct Minkowski-reduced lattice-bases

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024006 ◽

2005 ◽

pp. 173-179 ◽

Cited By ~ 1

Author(s):

Bettina Helfrich

Download Full-text

Fairness in context Free grammars under canonical derivations

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024014 ◽

2005 ◽

pp. 255-266

Author(s):

Sara Porat ◽

Nissim Francez

Keyword(s):

Context Free ◽

Context Free Grammars

Download Full-text

Using domain algebras to prove the correctness of a compiler

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0023999 ◽

2005 ◽

pp. 98-108 ◽

Cited By ~ 6

Author(s):

Peter Dybjer

Download Full-text

On hotz groups and homomorphic images of sentential form languages

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0023998 ◽

2005 ◽

pp. 87-97 ◽

Cited By ~ 2

Author(s):

Volker Diekert

Keyword(s):

Sentential Form

Download Full-text

Translating polygons in the plane

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024019 ◽

2005 ◽

pp. 310-321 ◽

Cited By ~ 12

Author(s):

Jörg-R. Sack ◽

Godfried T. Toussaint

Download Full-text

Shortest paths on polyhedral surfaces

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024013 ◽

2005 ◽

pp. 243-254 ◽

Cited By ~ 8

Author(s):

Joseph O'Rourke ◽

Subhash Suri ◽

Heather Booth

Keyword(s):

Shortest Paths ◽

Polyhedral Surfaces

Download Full-text

An O(N1.5+ε) expected time algorithm for canonization and isomorphism testing of trivalent graphs

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024009 ◽

2005 ◽

pp. 197-207

Author(s):

Luděk Kučera

Keyword(s):

Time Algorithm ◽

Expected Time ◽

Trivalent Graphs

Download Full-text

An algorithm for two-layer channel routing

STACS 85 - Lecture Notes in Computer Science ◽

10.1007/bfb0024004 ◽

2005 ◽

pp. 151-160 ◽

Cited By ~ 3

Author(s):

Shaodi Gao

Keyword(s):

Channel Routing

Download Full-text