STACS 87 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer-Verlag

354017219x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ground term confluence in parametric conditional equational specifications

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039613 ◽

2006 ◽

pp. 286-298 ◽

Cited By ~ 20

Author(s):

Harald Ganzinger

Keyword(s):

Ground Term ◽

Equational Specifications

Download Full-text

Probability one separation of the Boolean hierarchy

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039602 ◽

2006 ◽

pp. 148-158 ◽

Cited By ~ 7

Author(s):

Jin-yi Cai

Download Full-text

LPG: A generic, logic and functional programming language

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039628 ◽

2006 ◽

pp. 468-469

Author(s):

D. Bert ◽

P. Drabik ◽

R. Echahed

Keyword(s):

Programming Language ◽

Functional Programming ◽

Functional Programming Language ◽

Logic And Functional Programming

Download Full-text

An algebraic transformation system for occam programs

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039636 ◽

2006 ◽

pp. 481-481

Author(s):

M. Goldsmith ◽

A. Cox ◽

G. Barrett

Keyword(s):

Transformation System ◽

Algebraic Transformation

Download Full-text

REVEUR4 : A laboratory for conditional rewriting

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039631 ◽

2006 ◽

pp. 472-473

Author(s):

Wadoud Bousdira ◽

Jean-Luc Remy

Download Full-text

Some structural aspects of hypergraph languages generated by hyperedge replacement

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039608 ◽

2006 ◽

pp. 207-219 ◽

Cited By ~ 45

Author(s):

Annegret Habel ◽

Hans-Jörg Kreowski

Keyword(s):

Hyperedge Replacement ◽

Structural Aspects

Download Full-text

CEC

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039629 ◽

2006 ◽

pp. 470-470 ◽

Cited By ~ 1

Author(s):

Hubert Bertling ◽

Harald Ganzinger ◽

Hubert Baumeister

Download Full-text

An interactive, incremental and portable computer algebra system for λ-calculus and combinatory logic based on video edition and rewriting techniques

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039632 ◽

2006 ◽

pp. 474-474

Author(s):

Nelly Girard

Keyword(s):

Computer Algebra ◽

Computer Algebra System ◽

Combinatory Logic ◽

Portable Computer

Download Full-text

On local routing of two-terminal nets

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039593 ◽

2006 ◽

pp. 40-52 ◽

Cited By ~ 4

Author(s):

Michael Kaufmann ◽

Kurt Mehlhorn

Keyword(s):

Local Routing

Download Full-text

The correlation between the complexities of the non-hierarchical and hierarchical versions of graph problems

STACS 87 - Lecture Notes in Computer Science ◽

10.1007/bfb0039598 ◽

2006 ◽

pp. 100-113 ◽

Cited By ~ 8

Author(s):

T. Lengauer ◽

K. W. Wagner

Keyword(s):

Graph Problems

Download Full-text