On observational equivalence and algebraic specification | ORKG Ask

We use cookies to provide a better user experience.

Data Protection

Related items

Mathematical equivalence in a primitive ELLA

Davies, M.B
Royal Signals and Radar Establishment, Farnborough (United Kingdom)

January 1988

SIGLEAvailable from British Library Document Supply Centre- DSC:5644.91(RSRE-M--4225) / BLDSC - Brit...

Algebraic tools for system construction

Tucker, J.V
Klop, J.W.
Bergstra, J.A.
Leeds Univ. (United Kingdom). Dept. of Computer Studies

January 1983

SIGLEAvailable from British Library Lending Division - LD:7621.07(179) / BLDSC - British Library Doc...

Theory and empirical observation

O'Brien, D
Durham Univ. (United Kingdom). Dept. of Economics

January 1990

SIGLEAvailable from British Library Document Supply Centre- DSC:9350.1059(DU-DE-WP--98) / BLDSC - Br...