• Search
  • Browse
    • Item types
    • Scientific fields
    • Schools/departments/institutes
    • Institutions
    • Collections
  • Interoperability
  • Info
    • The project
    • Help
  • For institutions
    • Contribute
    • Publication Requirements
    • Expression of Interest Form
  • Contact
  • ΕΛ • ΕΝ
More search options Less search options
Clear Help


Filters  

Filters

Clear
Item type
Scientific field
School/Department/Institute
Year
Language
Institution / collection
ΕΚΤ eContent Services
1  -  30   to   128   items

     
    Large cardinals and structural reflection
    Creator: Ασλάνης-Πέτρου Ρωμανός, Aslanis-Petrou Romanos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2024
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Ελάχιστος βαθμός και εμβυθίσεις πλήρων γραφημάτων
    Creator: Οικονόμου Μάρθα, Oikonomou Martha
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2024
    Language: Greek
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    The Expressive Power of Higher-Order Datalog with Negation
    Creator: Κωστόπουλος Χαράλαμπος, Kostopoulos Charalampos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2023
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Two proofs of Peano Arithmetic’s Consistency
    Creator: Σεβαστού Νικολέτα, Sevastou Nikoleta
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2025
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Morley’s Categoricity Theorem
    Creator: Αποστόλου Φίλιππος, Apostolou Filippos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2024
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Pricing Games in Heterogeneous Parallel Networks
    Creator: Παππάς Θωμάς, Pappas Thomas
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2025
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Minor­Obstructions for Apex Pseudoforests
    Creator: Τσατσάνης Κωνσταντίνος, Tsatsanis Konstantinos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2022
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Το πρόβλημα της συνέπειας για το αξιωματικό σύστημα NF The problem of consistency for NF
    Creator: Ρουβέλας, Παναγιώτης, Rouvelas, Panagiotis
    Item type: PhD thesis
    Scientific field: Logic
    Υear: 2017
    Language: Greek
    School/department/institute: Aristotle University of Thessaloniki ▶ Faculty of Sciences ▶ School of Mathematics ▶ Division of Algebra, Number Theory and Mathematical Logic
    Institution: National Documentation Centre (EKT)
    Collection : National Archive of PhD Theses  | ΕΚΤ NA.Ph.D.
    RDF
    Από τη φιλοσοφική λογική στη βιομηχανική λογική
    Creator: Σταμούλης, Βασίλειος
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2019
    Language: Greek
    School/department/institute: University of Ioannina ▶ School of Science ▶ Department of Mathematics
    Institution: University of Ioannina
    Collection : Repository of UOI Olympias
    RDF
    Upper Bounds on the number of embeddings of minimally rigid graphs
    Creator: Τζάμος Χαράλαμπος, Tzamos Charalambos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2021
    Language: gre, eng
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    A Survey of Probabilistic Reasoning in Justification Logic
    Creator: Pipilikas Thomas, Πιπιλίκας Θωμάς
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2021
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Non-constructive proof of a fixed point theorem on lexicographic lattice structures
    Creator: Χατζηαγάπης Ιωάννης, Chatziagapis Ioannis
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2020
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    About Inspection Games
    Creator: Καραγιάννης-Αξυπολιτίδης Νίκος, Karagiannis-Axypolitidis Nikos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2021
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Structural and Topological Graph Theory and Well-Quasi-Ordering
    Creator: Χανιώτης Αριστοτέλης, Chaniotis Aristotelis
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2020
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Lexicographic Sets
    Creator: Πρωτόπαπας Ευάγγελος, Protopapas Evangelos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2020
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Decompositions and Algorithms for the Disjoint Paths Problem in Planar Graphs
    Creator: Stamoulis Giannos, Σταμούλης Γιάννος
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2019
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Notions of Galois connections for Bilattices
    Creator: Pitsiladis Georgios, Πιτσιλαδής Γεώργιος
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2019
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Dimensionality reduction for approximate near neighbor search in the Manhattan metric
    Creator: Margonis Vasileios, Μαργώνης Βασίλειος
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2019
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Contributions of Graph Theory and Algorithms to Animal Behaviour and Neuroscience
    Creator: Σμιτ Νικόλαος, Smit Nikolaos
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2019
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Expanding Graphs and Balanced Separators
    Creator: Niklanovits Aikaterini, Νικλάνοβιτς Αικατερίνη
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2019
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Sorting and Selection Problems in Partially Ordered Sets
    Creator: Papamichail Merkourios-Christos, Παπαμιχαήλ Μερκούριος-Χρήστος
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2022
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Αναζήτηση εχθρικών κόμβων σε δίκτυα Malicious nodes search in networks
    Creator: Πετρόλια, Σταματίνα Π., Petrolia, Stamatina P.
    Item type: Master thesis
    Scientific field: Logic
    Υear: 2013
    School/department/institute: National Technical Univeristy of Athens ▶ School of Applied Mathematical and Physics Science ▶ Department of Mathematics ▶ Algorithmic Applications and Logic Laboratory (2016 - ...)
    Institution: National Technical University of Athens
    Collection : Digital Library of National Technical University of Athens | Dspace@NTUA
    RDF
    Οικογένειες αρχιτεκτονικών λογισμικού με ποσοτικά χαρακτηριστικά Quantitative architecture styles
    Creator: Παραπονιάρη, Παυλίνα, Paraponiari, Pavlina
    Item type: PhD thesis
    Scientific field: Logic
    Υear: 2024
    Language: English
    School/department/institute: Aristotle University of Thessaloniki ▶ Faculty of Sciences ▶ School of Mathematics ▶ Division of Computer Science and Numerical Analysis
    Institution: National Documentation Centre (EKT)
    Collection : National Archive of PhD Theses  | ΕΚΤ NA.Ph.D.
    RDF
    Χωροχρόνοι με ιδιομορφίες στη Γενική Σχετικότητα Spacetimes with singularities in General Relativity
    Creator: Κοτοπούλης, Δημήτριος, Kotopoulis, Dimitrios
    Item type: PhD thesis
    Scientific field: Logic
    Υear: 2023
    Language: Greek
    School/department/institute: University of Patras ▶ School of Natural Sciences ▶ Department of Physics ▶ Theoretical and Mathematical Physics, Astronomy and Astrophysics Division
    Institution: National Documentation Centre (EKT)
    Collection : National Archive of PhD Theses  | ΕΚΤ NA.Ph.D.
    RDF
    Επιστημικές τροπικές λογικές δίχως επίγνωση της άγνοιας. Γνωσιακές δομές, και επεκτάσεις με εκτίμηση και πληροφόρηση.
    Creator: Ζήκος Γεώργιος
    Item type: PhD thesis
    Scientific field: Computational Mathematics, Logic
    Υear: 2012
    Language: Greek
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Formalizing Constructive Analysis: A comparison of minimal systems and a study of uniqueness principles.
    Creator: Βαφειάδου Γαρυφαλλιά
    Item type: PhD thesis
    Scientific field: Computational Mathematics, Logic
    Υear: 2012
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    High dimensional Approximate r-nets with emphasis on vectors on a unit hypercube
    Creator: Κάβουρας Λουκάς, Kavouras Loukas
    Item type: Master thesis
    Scientific field: Computational Mathematics, Logic
    Υear: 2016
    Language: gre, eng
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Quantum Complexity, Relativized Worlds, and Oracle Separations
    Creator: Μυρισιώτης Δημήτριος
    Item type: Master thesis
    Scientific field: Computational Mathematics, Logic
    Υear: 2016
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    OPINION DYNAMICS WITH LOCAL INTERACTIONS
    Creator: ΣΚΟΥΛΑΚΗΣ ΕΥΣΤΡΑΤΙΟΣ-ΠΑΝΤΕΛΕΗΜΩΝ, SKOULAKIS EFSTRATIOS-PANTELEIMON
    Item type: Master thesis
    Scientific field: Computational Mathematics, Logic
    Υear: 2016
    Language: English
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF
    Παραμετρικοί Αλγόριθμοι και Μητροειδή: η χρήση των συνόλων αντιπροσώπευσης
    Creator: Πετροπαναγιωτάκη Μαρία, Petropanagiotaki Maria
    Item type: Master thesis
    Scientific field: Computational Mathematics, Logic
    Υear: 2016
    Language: Greek
    Institution: University of Athens
    Collection : Pergamos Digital Library
    RDF

    Close

    Close
      • Follow EKT

      Contact | Privacy Policy | Terms of use | Copyright Notice

      ©2025 National Documentation Centre

      Βοηθείστε μας να κάνουμε καλύτερο το OpenArchives.gr.

      Πάρτε μέρος στη σύντομη έρευνα!
      Nαι, θα το κάνω τώρα
      Όχι ευχαριστώ