Home
Αποφασισιμότητα στην διαφορική άλγεβρα
Results - Details
|
||||
| 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 | ||||
| Views | 574 | |||
| Digital Documents | |
|---|---|
|
Download document |
