A Logical Characterisation of Static Equivalence

Hans Hüttel and Michael D. Pedersen

Details

Publication typeArticle
Published inElectron. Notes Theor. Comput. Sci.
Pages139–157
Volume173
AddressAmsterdam, The Netherlands, The Netherlands
PublisherElsevier Science Publishers B. V.
> Publications > A Logical Characterisation of Static Equivalence