Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
A Logical Characterisation of Static Equivalence

Hans Hüttel and Michael D. Pedersen

Details

Publication typeInproceedings
Pages139–157
Volume173
SeriesElectron. Notes Theor. Comput. Sci.
PublisherElsevier Science Publishers B. V.
> Publications > A Logical Characterisation of Static Equivalence