Πρακτικά Συνεδρίου uoadl:1001829 3542 Αναγνώσεις
1. Subsystems of Peano Arithmetic: some results and problems
Άρθρο Συνεδρίου uoadl:10462822. Current trends in Model Theory and Hilbert's tenth problem
Άρθρο Συνεδρίου uoadl:10462843. Laws in Finite Model Theory: an overview
Άρθρο Συνεδρίου uoadl:10462864. Nonstandard methods in many-valued logics
Άρθρο Συνεδρίου uoadl:10462925. Cut elimination in the simply lambda calculus
Άρθρο Συνεδρίου uoadl:10462956. Church-Rosser theorem for conjunctive type systems
Άρθρο Συνεδρίου uoadl:10463047. Formal number theory and subrecursive degree structures
Άρθρο Συνεδρίου uoadl:10463128. Ανάστροφη αναδρομική θεωρία: μερικά αποτελέσματα
Άρθρο Συνεδρίου uoadl:10463189. Idempotence of classical logics and the logic of multisets
Άρθρο Συνεδρίου uoadl:104632510. Ανάστροφα μαθηματικά: επισκόπηση
Άρθρο Συνεδρίου uoadl:104633211. Computable and polynomially time computable real and p-adic numbers
Άρθρο Συνεδρίου uoadl:104633912. Locale theoretic methods in Logics without contraction
Άρθρο Συνεδρίου uoadl:104634713. On End extensions of models of fragments of PA
Άρθρο Συνεδρίου uoadl:104635214. A language of transformation
Άρθρο Συνεδρίου uoadl:104666615. Arity hierarchies for fixed-point logic
Άρθρο Συνεδρίου uoadl:104667016. Expressiveness of recursive database queries
Άρθρο Συνεδρίου uoadl:104667717. Program specification and verification
Άρθρο Συνεδρίου uoadl:104668618. Non-collapsing assumptions about complexity classes needed for proving non-approximability results
Άρθρο Συνεδρίου uoadl:104669819. The role of nonmonotonic representations in requirements engineering
Άρθρο Συνεδρίου uoadl:104671120. Refining logical characterization of advice complexity classes
Άρθρο Συνεδρίου uoadl:1046720