Weighted tree automata with discounting

Μανδραλή, Ελένη Γεωργίου

info:eu-repo/semantics/masterThesis

Postgraduate Thesis / Μεταπτυχιακή Εργασία

Αυτόματα δένδρων με βάρη και discounting

Ρητές πράξεις σε σειρές δένδρων και discounting

Μοναδιαία λογική δεύτερης τάξης σε πεπερασμένα κι άπειρα δένδρα

Discounting

Semirings

Weighted tree automata with discounting

Muller δενδροαυτόματα με βάρη και discounting

Weighted MSO logic over finite and infinite trees

Weighted Muller tree automata with discounting

Ημιδακτύλιοι

Rational tree series operation with discounting

Aristotle University of Thessaloniki

Aristotle University of Thessaloniki - ΙΚΕΕ

Postgraduate Theses

Greek

English

2008

2009-10-08T06:41:44Z

http://ikee.lib.auth.gr/record/113013

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης, Σχολή Θετικών Επιστημών, Τμήμα Μαθηματικών

http://creativecommons.org/licenses/by-sa/4.0 (for attached file), Aristotle University of Thessaloniki / Library and Information Centre

This record is part of 'IKEE', the Institutional Repository of Aristotle University of Thessaloniki's Library and Information Centre found at http://ikee.lib.auth.gr. Unless otherwise stated above, the record metadata were created by and belong to Aristotle University of Thessaloniki Library, Greece and are made available to the public under Creative Commons Attribution-ShareAlike 4.0 International license (http://creativecommons.org/licenses/by-sa/4.0). Unless otherwise stated in the record, the content and copyright of files and fulltext documents belong to their respective authors. Out-of-copyright content that was digitized, converted, processed, modified, etc by AUTh Library, is made available to the public under Creative Commons Attribution-ShareAlike 4.0 International license (http://creativecommons.org/licenses/by-sa/4.0). You are kindly requested to make a reference to AUTh Library and the URL of the record containing the resource whenever you make use of this material.

info:eu-repo/semantics/openAccess