Toggle navigation
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
ΕΛ
•
ΕΝ
Home page
Scientific fields
Natural Sciences ▶ Mathematics
Logic
Discover
128 items
with this subject category
Search
More search options
Filters
Filters
1 - 30 to 128 items
Sort by
Relevance
Ascending date
Descending date
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
MinorObstructions 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
×
×
Βοηθείστε μας να κάνουμε καλύτερο το
OpenArchives
.gr
.
Πάρτε μέρος στη σύντομη έρευνα!
