A Case Study in Systematic Theory Exploration: Natural Numbers

Adrian Craciun, Madalina Hodorog

Research output: Working paper and reports › Preprint

Original language	English
Place of Publication	University of Linz, Altenbergerstraße 69, 4040 Linz, Austria
Publisher	RISC
Number of pages	37
Publication status	Published - Oct 2007

Name	RISC Report Series
No.	07-18

Fields of science

@techreport{f3f6717d693f485e805ffc972391083c,

title = "A Case Study in Systematic Theory Exploration: Natural Numbers",

author = "Adrian Craciun and Madalina Hodorog",

year = "2007",

month = oct,

language = "English",

series = "RISC Report Series",

publisher = "RISC",

number = "07-18",

type = "WorkingPaper",

institution = "RISC",

}