Home Search
Results - Details
Search command : Author="Τέρτικας" And Author="Αχιλλέας"
Current Record: 5 of 10
|
|||||||
Identifier | 000400144 | ||||||
Title | Αποφασισιμότητα στην διαφορική άλγεβρα | ||||||
Alternative Title | Decidability in differential algebra | ||||||
Author | Μανιού, Μαριάνθη | ||||||
Thesis advisor | Φειδάς, Αθανάσιος | ||||||
Reviewer |
Τερτίκας, Αχιλλέας
Vidaux, Xavier |
||||||
Language | Greek | ||||||
Subject | (Positive) existential theory | ||||||
(Θετική) υπαρξιακή θεωρία | |||||||
Grothendieck's problem | |||||||
Hilbert's tenth problem | |||||||
Quantifier elimination | |||||||
Απαλοιφή ποσοδεικτών | |||||||
Issue date | 2016-03-18 | ||||||
Collection | School/Department--School of Sciences and Engineering--Department of Mathematics and Applied Mathematics--Post-graduate theses | ||||||
Type of Work--Post-graduate theses | |||||||
Permanent Link | https://elocus.lib.uoc.gr//dlib/8/8/e/metadata-dlib-1459496636-284143-25272.tkl | ||||||
Views | 578 |
Digital Documents | |
---|---|
Download document |