A Logical Characterisation of Static Equivalence

In  Electron. Notes Theor. Comput. Sci.

Publisher  Elsevier Science Publishers B. V.

Details

TypeArticle
Pages139–157
Volume173
AddressAmsterdam, The Netherlands, The Netherlands
> Publications > A Logical Characterisation of Static Equivalence