Conference Proceedings uoadl:1001829 3060 Read counter
1. Formal methods and their application
Conference Paper uoadl:10471022. Applications of logic in databases
Conference Paper uoadl:10471043. Computational logic: theory meets practice
Conference Paper uoadl:10471144. Application of logic to computer science
Conference Paper uoadl:10471165. Το μάθημα της λογικής στη μέση εκπαίδευση
Conference Paper uoadl:10471176. For the panel: "Logic in education"
Conference Paper uoadl:10471487. Logic as a fundamental course for university studies
Conference Paper uoadl:10471538. Panel discussion "Logic in education" (Position statement)
Conference Paper uoadl:10471599. A language of transformation
Conference Paper uoadl:104666610. Arity hierarchies for fixed-point logic
Conference Paper uoadl:104667011. Expressiveness of recursive database queries
Conference Paper uoadl:104667712. Program specification and verification
Conference Paper uoadl:104668613. Non-collapsing assumptions about complexity classes needed for proving non-approximability results
Conference Paper uoadl:104669814. The role of nonmonotonic representations in requirements engineering
Conference Paper uoadl:104671115. Refining logical characterization of advice complexity classes
Conference Paper uoadl:104672016. Locale theoretic methods in Logics without contraction
Conference Paper uoadl:104634717. On End extensions of models of fragments of PA
Conference Paper uoadl:104635218. Subsystems of Peano Arithmetic: some results and problems
Conference Paper uoadl:104628219. Current trends in Model Theory and Hilbert's tenth problem
Conference Paper uoadl:104628420. Laws in Finite Model Theory: an overview
Conference Paper uoadl:1046286