A calculus of tactics and its operational semantics

J.H. Geuvers; G.I. Jojgov

doi:10.1016/j.entcs.2003.12.031

A calculus of tactics and its operational semantics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003)
Pages	118-137
DOIs	https://doi.org/10.1016/j.entcs.2003.12.031
Publication status	Published - 2004

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	93
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2003.12.031

Cite this

@inproceedings{171df843225d4d3091508d2b63445991,

title = "A calculus of tactics and its operational semantics",

author = "J.H. Geuvers and G.I. Jojgov",

year = "2004",

doi = "10.1016/j.entcs.2003.12.031",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "118--137",

booktitle = "Proceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003)",

}

A calculus of tactics and its operational semantics. / Geuvers, J.H.; Jojgov, G.I.
Proceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003). 2004. p. 118-137 (Electronic Notes in Theoretical Computer Science; Vol. 93).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - A calculus of tactics and its operational semantics

AU - Geuvers, J.H.

AU - Jojgov, G.I.

PY - 2004

Y1 - 2004

U2 - 10.1016/j.entcs.2003.12.031

DO - 10.1016/j.entcs.2003.12.031

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 118

EP - 137

BT - Proceedings of the Mathematical Knowledge Management Symposium 2003 (Edinburgh, UK, November 25-29, 2003)

ER -