Computational Logic
Department of Computer Science - Universität Innsbruck
Home
Research
Publications
Projects
Software
Teaching
Members
Aart Middeldorp
Edited Books
Events
Event Archive
News
News Archive
Search
You are here:
Home
News
News Archive
November 26, 2013: Simon Legner completed his master studies
November 26, 2013: Simon Legner completed his master studies
Today Simon Legner successfully defended his master thesis on “Non Linear Arithmetic”.
Details
Category:
News Archive
Published: 28 April 2025
Previous article: February 3, 2014: CL welcomes Thibault Gauthier as new member
Prev
Next article: December 18, 2018: Thibault Gauthier defends his PhD thesis
Next