Relative Complexity of Algebras (1981)

Cached

Download Links

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

Documents Related by Co-Citation

3 Efficient Reducibility Between Programming Systems: Preliminary Report – Nancy A. Lynch , Edward K. Blum - 1977
2 A Difference in Expressive – N A Lynch, E K Blum - 1979
1 Comparing Algebraic Structures up to Algorithmic Equivalence in Automata, Languages and Programming – D Kfoury - 1973
1 The Design andAna(ysis of Computer Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1976
1 eras, New Real-time Simulations of Multilevel Tape Units – B Leong, J Serf - 1977
1 straight-Line'Program Length as a Parameter for Complexity Measures, Theoretical Computer Science, (to appear). Also see – N A Lynch - 1978
1 Arithmetic Versus Boolean Operations – L J Stockmeyer
1 Receieed February 9, 1978, in revised form October 23 – A I Malcev, Algebraic Systems, N Y Springer-Verlag - 1973
14 Real-time simulation of multihead tape units – P c Fischer, A R Meyer, A L Rosenberg - 1972
9 Efficient compilation of linear recursive programs – Ashok K Chandra
5 Behavioural approaches to algebraic specifications: a comparative study – G Bernot, M Bidoit, T Knapik - 1994
2 Validation d'une sp'ecification alg'ebrique du "Transit-node" par prototypage et d'emonstration de th'eor`emes. Chapitre du Rapport final de l'Op'eration VTT, Validation et v'erification de propri'et'es Temporelles et de Types de donn'ees (commu – M Bidoit, C Choppy, F Voisin - 1994
5 Interchange Format for Inter-Operability of Tools and Translation – M Bidoit, C Choppy, F Voisin - 1995
3 Algebraic definition of a functional programming language – M Broy, M Wirsing - 1982
4 Structured inheritance for algebraic class specifications – F Parisi-Presicce, A Pierantonio - 1994
5 The Ada Challenge for New Formal Semantic Techniques – E Astesiano, A Giovini, F Mazzanti, G Reggio, E Zucca - 1986
3 The SMoLCS Toolset – E Astesiano, F Morando, G Reggio - 1995
4 Direct Semantics for Concurrent Languages in the SMoLCS approach – E Astesiano, G Reggio - 1987
3 Specification semantics – Horst Reichel - 1998