Reduction patterns - A practical tool for proving undecidability

Judith Gal-Ezer

doi:https://doi.org/10.1145/2899415.2925478

Reduction patterns - A practical tool for proving undecidability

Judith Gal-Ezer

Computer Science

Open University of Israel

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

Original language	English
Title of host publication	ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education
Pages	355
Number of pages	1
ISBN (Electronic)	9781450342315
DOIs	https://doi.org/10.1145/2899415.2925478
State	Published - 11 Jul 2016
Event	2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016 - Arequipa, Peru Duration: 11 Jul 2016 → 13 Jul 2016

Publication series

Name	Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE
Volume	11-13-July-2016

Conference

Conference	2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016
Country/Territory	Peru
City	Arequipa
Period	11/07/16 → 13/07/16

Keywords

Reduction
Theory of computation course
Undecidable languages

All Science Journal Classification (ASJC) codes

Management of Technology and Innovation
Education

Access to Document

https://doi.org/10.1145/2899415.2925478

Cite this

@inproceedings{2f2c1dc96384416da5949739caf609c9,

title = "Reduction patterns - A practical tool for proving undecidability",

keywords = "Reduction, Theory of computation course, Undecidable languages",

author = "Judith Gal-Ezer",

year = "2016",

month = jul,

day = "11",

doi = "https://doi.org/10.1145/2899415.2925478",

language = "الإنجليزيّة",

series = "Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE",

pages = "355",

booktitle = "ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education",

note = "2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016 ; Conference date: 11-07-2016 Through 13-07-2016",

}

Gal-Ezer, J 2016, Reduction patterns - A practical tool for proving undecidability. in ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, vol. 11-13-July-2016, pp. 355, 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, 11/07/16. https://doi.org/10.1145/2899415.2925478

Reduction patterns - A practical tool for proving undecidability. / Gal-Ezer, Judith.
ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education. 2016. p. 355 (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; Vol. 11-13-July-2016).

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

TY - GEN

T1 - Reduction patterns - A practical tool for proving undecidability

AU - Gal-Ezer, Judith

PY - 2016/7/11

Y1 - 2016/7/11

KW - Reduction

KW - Theory of computation course

KW - Undecidable languages

UR - http://www.scopus.com/inward/record.url?scp=84979780481&partnerID=8YFLogxK

U2 - https://doi.org/10.1145/2899415.2925478

DO - https://doi.org/10.1145/2899415.2925478

M3 - منشور من مؤتمر

T3 - Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

SP - 355

BT - ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education

T2 - 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016

Y2 - 11 July 2016 through 13 July 2016

ER -

Reduction patterns - A practical tool for proving undecidability

Publication series

Conference

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this