Capturing the Divide and Conquer Methodology in Isabelle Tactics

J. Herrmann; Chi-Ping Tsang

Capturing the Divide and Conquer Methodology in Isabelle Tactics

J. Herrmann, Chi-Ping Tsang

Graduate Research School

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

Original language	English
Title of host publication	Computing: The Australasian Theory Symposium Proceedings
Editors	M.E. Houle, P. Eades
Place of Publication	Melbourne, Australia
Publisher	Australian Computer Science Communications
Pages	127-136
Volume	18
Edition	Melbourne, Australia
ISBN (Print)	01573055
Publication status	Published - 1996
Event	Capturing the Divide and Conquer Methodology in Isabelle Tactics - Melbourne, Australia Duration: 1 Jan 1996 → …

Conference

Conference	Capturing the Divide and Conquer Methodology in Isabelle Tactics
Period	1/01/96 → …

Cite this

@inproceedings{9a82d3ee15dd4653923b0f2243a0fc9d,

title = "Capturing the Divide and Conquer Methodology in Isabelle Tactics",

author = "J. Herrmann and Chi-Ping Tsang",

year = "1996",

language = "English",

isbn = "01573055",

volume = "18",

pages = "127--136",

editor = "M.E. Houle and P. Eades",

booktitle = "Computing: The Australasian Theory Symposium Proceedings",

publisher = "Australian Computer Science Communications",

edition = "Melbourne, Australia",

note = "Capturing the Divide and Conquer Methodology in Isabelle Tactics ; Conference date: 01-01-1996",

}

Herrmann, J & Tsang, C-P 1996, Capturing the Divide and Conquer Methodology in Isabelle Tactics. in ME Houle & P Eades (eds), Computing: The Australasian Theory Symposium Proceedings. Melbourne, Australia edn, vol. 18, Australian Computer Science Communications, Melbourne, Australia, pp. 127-136, Capturing the Divide and Conquer Methodology in Isabelle Tactics, 1/01/96.

Capturing the Divide and Conquer Methodology in Isabelle Tactics. / Herrmann, J.; Tsang, Chi-Ping.
Computing: The Australasian Theory Symposium Proceedings. ed. / M.E. Houle; P. Eades. Vol. 18 Melbourne, Australia. ed. Melbourne, Australia: Australian Computer Science Communications, 1996. p. 127-136.

Research output: Chapter in Book/Conference paper › Conference paper › peer-review

TY - GEN

T1 - Capturing the Divide and Conquer Methodology in Isabelle Tactics

AU - Herrmann, J.

AU - Tsang, Chi-Ping

PY - 1996

Y1 - 1996

M3 - Conference paper

SN - 01573055

VL - 18

SP - 127

EP - 136

BT - Computing: The Australasian Theory Symposium Proceedings

A2 - Houle, M.E.

A2 - Eades, P.

PB - Australian Computer Science Communications

CY - Melbourne, Australia

T2 - Capturing the Divide and Conquer Methodology in Isabelle Tactics

Y2 - 1 January 1996

ER -