Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897910176

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Dynamic algebras and the nature of induction

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804649 ◽

1980 ◽

Cited By ~ 23

Author(s):

V. R. Pratt

Download Full-text

On translating a set of rectangles

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804663 ◽

1980 ◽

Cited By ~ 32

Author(s):

Leo J. Guibas ◽

F. Frances Yao

Download Full-text

Deadlock- and livelock-free packet switching networks

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804656 ◽

1980 ◽

Cited By ~ 27

Author(s):

Sam Toueg

Keyword(s):

Packet Switching ◽

Switching Networks ◽

Packet Switching Networks

Download Full-text

Vector execution of flow graphs(Extended Abstract)

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804658 ◽

1980 ◽

Author(s):

H. R. Strong

Keyword(s):

Flow Graphs

Download Full-text

A time-space tradeoff for sorting on a general sequential model of computation

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804677 ◽

1980 ◽

Cited By ~ 10

Author(s):

A. Borodin ◽

S. Cook

Keyword(s):

Sequential Model ◽

Model Of Computation ◽

Time Space

Download Full-text

Comparative schematology and pebbling with auxiliary pushdowns (Preliminary Version)

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804684 ◽

1980 ◽

Cited By ~ 6

Author(s):

Nicholas Pippenger

Keyword(s):

Preliminary Version

Download Full-text

Efficient dynamic programming using quadrangle inequalities

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804691 ◽

1980 ◽

Cited By ~ 27

Author(s):

F. Frances Yao

Keyword(s):

Dynamic Programming

Download Full-text

Complete axiomatization of algorithmic properties of program schemes with bounded nondeterministic interpretations

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804648 ◽

1980 ◽

Cited By ~ 7

Author(s):

Grazyna Mirkowska

Keyword(s):

Complete Axiomatization

Download Full-text

Complexity of implementations on the level of algebraic specifications

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804676 ◽

1980 ◽

Cited By ~ 3

Author(s):

Hartmut Ehrig ◽

Bernd Mahr

Keyword(s):

Algebraic Specifications

Download Full-text

An approach to the k paths problem

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80 ◽

10.1145/800141.804668 ◽

1980 ◽

Cited By ~ 5

Author(s):

Allen Cypher

Download Full-text

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Dynamic algebras and the nature of induction

On translating a set of rectangles

Deadlock- and livelock-free packet switching networks

Vector execution of flow graphs(Extended Abstract)

A time-space tradeoff for sorting on a general sequential model of computation

Comparative schematology and pebbling with auxiliary pushdowns (Preliminary Version)

Efficient dynamic programming using quadrangle inequalities

Complete axiomatization of algorithmic properties of program schemes with bounded nondeterministic interpretations

Complexity of implementations on the level of algebraic specifications

An approach to the k paths problem

Proceedings of the twelfth annual ACM symposium on Theory of computing - STOC '80
Latest Publications