• TUCS Publication Series
  • Publishing in the Series
  • TUCS Dissertations
  • TUCS Technical Reports
  • TUCS General Publications
  • TUCS National Publications
  • TUCS Lecture Notes
• Publication Search
• Publication Input
• Publication Input Guide

TUCS Lecture Notes

The youngest of the series, TUCS Lecture Notes consists of study books and proceedings books.

ISSN 1797-8831 (digital)

ISSN 1797-8823 (print)

10 Latest Publications in This Series

• Michael Butler, Stefan Hallerstede, Marina Waldén (Eds.), Proceedings of the 4th Rodin User and Development Workshop, TUCS Lecture Notes, 2013.
• Vesa Halava, Juhani Karhumäki, Yuri Matiyasevich (Eds.), RuFiDiM II, Proceedings of the Second Russian Finnish Symposium on Discrete Mathematics 2012, TUCS Lecture Notes, 2012.
• Proceedings of IRIS 2011, TUCS Lecture Notes, Turku Centre for Computer Science, 2011.
• Mike Stannet, Danuta Makowiec, Anna T. Lwniczak, Bruno N. Di Stefano (Eds.), Proceedings of the Satellite Workshops of UC 2011, TUCS Lecture Notes, Turku Centre for Computer Science, 2011.
• Proceedings of JAC 2010 – Journées Automates Cellulaires, TUCS Lecture Notes, Turku Centre for Computer Science, 2010.
• Ralph-Johan Back, Matematiikkaa logiikan avulla: Rakenteiset päättelyketjut yleisenä todistusmuotona. TUCS Lecture Notes 12, Turku Centre for Computer Science, 2009.
• Ralph-Johan Back, Matematiikkaa logiikan avulla: Logiikka ja rakenteiset päättelyketjut. TUCS Lecture Notes 11, Turku Centre for Computer Science, 2008.
• Ralph-Johan Back, Matematiikkaa logiikan avulla: Johdatus rakenteisiin päättelyketjuihin. TUCS Lecture Notes 10, Turku Centre for Computer Science, 2008.
• Ralph-Johan Back, Matematik med lite logik: Strukturerade härledningar som allmänt bevisformat. TUCS Lecture Notes 9, Turku Centre for Computer Science, 2008.
• Ralph-Johan Back, Matematik med lite logik: Logik för strukturerade härledningar. TUCS Lecture Notes 8, Turku Centre for Computer Science, 2008.