@inproceedings{49f0d5fdd5dc42b8a84ff87a5d5d8a13,
title = "Reduction patterns - A practical tool for proving undecidability",
keywords = "Reduction, Theory of computation course, Undecidable languages",
author = "Judith Gal-Ezer",
note = "Copyright: Copyright 2016 Elsevier B.V., All rights reserved.; 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016 ; Conference date: 11-07-2016 Through 13-07-2016",
year = "2016",
month = jul,
day = "11",
doi = "10.1145/2899415.2925478",
language = "אנגלית",
series = "Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE",
publisher = "Association for Computing Machinery",
pages = "355",
booktitle = "ITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education",
}