Relative Complexity of Algebras (1981)

Cached

Download Links

by Nancy A. Lynch, et al.
Citations:2 - 0 self

Active Bibliography

3 Efficient Reducibility Between Programming Systems: Preliminary Report – Nancy A. Lynch , Edward K. Blum - 1977
Relative Complexity of Operations on Numeric . . . – Nancy A. Lynch, et al. - 1980
43 Blocking for external graph searching – Mark H. Nodine, Michael T. Goodrich, Jeffrey Scott Vitter - 1993
3 Tossing Algebraic Flowers down the Great Divide – Joseph Goguen - 1999
General Terms: Theory, – Maurice P. Herlihy, Jeannette M. Wing
916 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
72 Writing Larch Interface Language Specifications – Jeannette M. Wing - 1987
27 EQUIVALENCES AND TRANSFORMATIONS OF REGULAR SYSTEMS -- APPLICATIONS TO RECURSIVE PROGRAM SCHEMES AND GRAMMARS – Bruno Courcelle - 1986
1 NP and Mathematics - a computational complexity perspective – Avi Wigderson, Steve Smale
1 Knowledge, Creativity and P versus NP – Avi Wigderson - 2009
56 Models of Computation -- Exploring the Power of Computing – John E. Savage
5 Unified Domains and Abstract Computational Structures – J. Calmet, K. Homann, I.a. Tjandra - 1993
7 A new semantics for Clear – D. T. Sannella
3 Some Thoughts on Algebraic Specification – Donald Sannella, Andrzej Tarlecki - 1985
8 A Survey of Formal Software Development Methods – Donald Sannella - 1988
24 Hidden Coinduction: Behavioral Correctness Proofs for Objects – Joseph A. Goguen, Grant Malcolm - 1999
On Understanding Data . . . – William R. Cook - 2009
25 Maintaining Configurations of Evolving Software Systems – K. Narayanaswamy, Walt Scacchi - 1987
19 Extended ML: an institution-independent framework for formal program development – Donald Sannella , Andrzej Tarlecki - 1986