Home
Search
Results - Details
Search command : Author="Vidaux" And Author="Xavier"
Current Record: 2 of 2
|
|||||||
| 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 | 385 | ||||||
| Digital Documents | |
|---|---|
|
Download document |
