A shorter proof to uniqueness of solutions of equations
From MaRDI portal
Publication:1285667
DOI10.1016/S0304-3975(98)00187-XzbMath0913.68218MaRDI QIDQ1285667
Publication date: 28 April 1999
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
Recursive equations in higher-order process calculi, An algebra of behavioural types, Bisimulation indexes and their applications
Cites Work