Theory Exploration in Theorema: Case Study on Lists

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

Original language	English
Title of host publication	Proceedings of the 7th IEEE International Symposium on Applied Computationa Intelligence and Informatics
Publisher	IEEE Xplore
Pages	421-426
Number of pages	6
ISBN (Print)	978-1-4673-1013-0
Publication status	Published - May 2012

Fields of science

@inproceedings{84e2942f796140109e5c741802fa6c9f,

title = "Theory Exploration in Theorema: Case Study on Lists",

author = "Isabela Dramnesc and Tudor Jebelean",

year = "2012",

month = may,

language = "English",

isbn = "978-1-4673-1013-0",

pages = "421--426",

booktitle = "Proceedings of the 7th IEEE International Symposium on Applied Computationa Intelligence and Informatics",

publisher = "IEEE Xplore",

}