Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

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

Original language	English
Title of host publication	Electronic Notes in Theoretical Computer Science
Editors	Fairouz Kamareddine
Pages	24-39
Number of pages	15
Volume	93
Publication status	Published - Feb 2004

Fields of science

@inproceedings{ccb071c777504181b8a277cd2c723576,

title = "Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema",

author = "Adrian Craciun and Bruno Buchberger",

year = "2004",

month = feb,

language = "English",

isbn = "044451290X",

volume = "93",

pages = "24--39",

editor = "{Fairouz Kamareddine}",

booktitle = "Electronic Notes in Theoretical Computer Science",

}

TY - GEN

T1 - Algorithm Synthesis by Lazy Thinking: Examples and Implementation in Theorema

AU - Craciun, Adrian

AU - Buchberger, Bruno

PY - 2004/2

Y1 - 2004/2

UR - http://www.sciencedirect.com/science/journal/15710661

M3 - Conference proceedings

SN - 044451290X

VL - 93

SP - 24

EP - 39

BT - Electronic Notes in Theoretical Computer Science

A2 - Fairouz Kamareddine, null

ER -