A Tactic Calculus
A. P. Martin‚ P. H. B. Gardiner and J. C. P. Woodcock
Details
| Journal |
Formal Aspects of Computing |
| Note |
An abridged version appears in the printed journal; the full version is available in the electronic supplement to Formal Aspects of Computing‚ 8E‚ pp244–285. http://link.springer.de/link/service/journals/00165/supp/list94_96.htm |
| Number |
4 |
| Pages |
479–489 |
| Publisher |
Springer–Verlag |
| Volume |
8 |
| Year |
1996 |
Links
Related pages
|
People |