By the same authors

From the same journal

A Tactic Calculus-Abridged Version

Research output: Contribution to journalArticle

Standard

A Tactic Calculus-Abridged Version. / Martin, A. P.; Gardiner, Paul H. B.; Woodcock, Jim.

In: Formal Asp. Comput., Vol. 8, No. 4, 1996, p. 479-489.

Research output: Contribution to journalArticle

Harvard

Martin, AP, Gardiner, PHB & Woodcock, J 1996, 'A Tactic Calculus-Abridged Version', Formal Asp. Comput., vol. 8, no. 4, pp. 479-489.

APA

Martin, A. P., Gardiner, P. H. B., & Woodcock, J. (1996). A Tactic Calculus-Abridged Version. Formal Asp. Comput., 8(4), 479-489.

Vancouver

Martin AP, Gardiner PHB, Woodcock J. A Tactic Calculus-Abridged Version. Formal Asp. Comput. 1996;8(4):479-489.

Author

Martin, A. P. ; Gardiner, Paul H. B. ; Woodcock, Jim. / A Tactic Calculus-Abridged Version. In: Formal Asp. Comput. 1996 ; Vol. 8, No. 4. pp. 479-489.

Bibtex - Download

@article{a0cc619e859f40bdbd5fc81258f70cdd,
title = "A Tactic Calculus-Abridged Version",
author = "Martin, {A. P.} and Gardiner, {Paul H. B.} and Jim Woodcock",
year = "1996",
language = "Undefined/Unknown",
volume = "8",
pages = "479--489",
journal = "Formal Asp. Comput.",
number = "4",

}

RIS (suitable for import to EndNote) - Download

TY - JOUR

T1 - A Tactic Calculus-Abridged Version

AU - Martin, A. P.

AU - Gardiner, Paul H. B.

AU - Woodcock, Jim

PY - 1996

Y1 - 1996

M3 - Article

VL - 8

SP - 479

EP - 489

JO - Formal Asp. Comput.

JF - Formal Asp. Comput.

IS - 4

ER -