mpla.math.uoa.gr
Font size: Αα Αα Αα hide gadgets
You are here: Students » Anastasia Veneti Anonymously browsing from 54.80.146.251 at 21:25:28, 20-11-2017. login

Anastasia Veneti: student profile

msc

Enrolled in: October 2004
Graduated on: Thursday, 13 Dec 2007

Thesis

Title: On a logical foundation of the intersection types assignment system: Intersection Logics.

Defended: Saturday, 01 Dec 2007.

phd

Enrolled in: July 2008
Stopped in: January 2017

seminars given

date title
2008/05/09 A logical foundation for the intersection and union type assignment system: Towards an intersection and union logic
1 seminar.

Reporter

Page updates

No recent updates.

Feeds RSS and Atom feeds

posts
all posts RSS
news RSS
announcements RSS
website news RSS
events
all events RSS
defenses RSS
exams RSS
seminars RSS
graduations RSS
Web standards: XHTML1.0, CSS3.
© 1996 – 2017 MPLA: Graduate program in Logic, Algorithms and Computation.
Contact the webmaster.