|
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
|
|
12
|
Real-time simulation of multi-head tape units
– P C Fischer, A R Meyer, A L Rosenberg
- 1972
|
|
7
|
Efficient compilation of linear recursive programs
– A K CHANDRA
- 1973
|
|
5
|
Behavioural approaches to algebraic specifications: a comparative study
– G Bernot, M Bidoit, T Knapik
- 1994
|
|
7
|
Stabl: MENUE - an example for the systematic reuse of specifications
– M Wirsing, R Hennicker, R
- 1989
|
|
7
|
A Systematic Study of Models of Abstract Data Types
– M Broy, C Pair, M Wirsing
- 1984
|
|
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
|
|
18
|
Algebraic Implementation of Objects over Objects
– H-D Ehrich, A Sernadas
- 1990
|
|
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
|
|
9
|
An explicit Eta rewrite rule
– D Briaud
- 1995
|
