A Logical Characterisation of Static Equivalence
Hans Hüttel and Michael D. Pedersen
2007
In Electron. Notes Theor. Comput. Sci.
Publisher Elsevier Science Publishers B. V.
Details
| Type | Article |
| Pages | 139–157 |
| Volume | 173 |
| Address | Amsterdam, The Netherlands, The Netherlands |
Related Labs
Share
