Reduction patterns - A practical tool for proving undecidability

פרסום מחקרי: פרק בספר / בדוח / בכנספרסום בספר כנסביקורת עמיתים

שפה מקוריתאנגלית
כותר פרסום המארחITiCSE 2016 - Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education
מוציא לאורAssociation for Computing Machinery
עמודים355
מספר עמודים1
מסת"ב (אלקטרוני)9781450342315
מזהי עצם דיגיטלי (DOIs)
סטטוס פרסוםפורסם - 11 יולי 2016
אירוע2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016 - Arequipa, פרו
משך הזמן: 11 יולי 201613 יולי 2016

סדרות פרסומים

שםAnnual Conference on Innovation and Technology in Computer Science Education, ITiCSE
כרך11-13-July-2016
ISSN (מודפס)1942-647X

כנס

כנס2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016
מדינה/אזורפרו
עירArequipa
תקופה11/07/1613/07/16

פורמט ציטוט ביבליוגרפי