Using Auxiliary Knowledge in Automating Invariant Proofs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific

Translated title of the contribution	Using Auxiliary Knowledge in Automating Invariant Proofs
Original language	English
Title of host publication	Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics: TPHOLs'96
Editors	Joakim von Wright, Jim Grundy, John Harrison
Publisher	TUCS
Pages	57-68
Publication status	Published - 1996
Publication type	B3 Article in conference proceedings

Publication forum classification

@inproceedings{558f8c8136034afc89381ac6dbd2eaaa,

title = "Using Auxiliary Knowledge in Automating Invariant Proofs",

author = "P. Kellom{\"a}ki",

note = "Contribution: organisation=ohj,FACT1=1",

year = "1996",

language = "English",

pages = "57--68",

editor = "\{von Wright\}, Joakim and Jim Grundy and John Harrison",

booktitle = "Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics: TPHOLs'96",

publisher = "TUCS",

}

TY - GEN

T1 - Using Auxiliary Knowledge in Automating Invariant Proofs

AU - Kellomäki, P.

N1 - Contribution: organisation=ohj,FACT1=1

PY - 1996

Y1 - 1996

M3 - Conference contribution

SP - 57

EP - 68

BT - Supplementary Proceedings of the 9th International Conference on Theorem Proving in Higher Order Logics: TPHOLs'96

A2 - von Wright, Joakim

A2 - Grundy, Jim

A2 - Harrison, John

PB - TUCS

ER -