A Logical Characterisation of Static Equivalence
Hans Hüttel and Michael D. Pedersen
2007
Publisher Elsevier Science Publishers B. V.
Details
| Type | Inproceedings |
| Pages | 139–157 |
| Volume | 173 |
| Series | Electron. Notes Theor. Comput. Sci. |
Hans Hüttel and Michael D. Pedersen
2007
Publisher Elsevier Science Publishers B. V.
| Type | Inproceedings |
| Pages | 139–157 |
| Volume | 173 |
| Series | Electron. Notes Theor. Comput. Sci. |