Πρακτικά Συνεδρίου uoadl:1001921 1828 Αναγνώσεις
1. Introduction to the model theory of fields
Άρθρο Συνεδρίου uoadl:10577292. Descriptive set theory and large cardinals
Άρθρο Συνεδρίου uoadl:10577313. An automata-theoretic approach to linear temporal logic
Άρθρο Συνεδρίου uoadl:10577334. Difference fields: study of finite-dimensional sets
Άρθρο Συνεδρίου uoadl:10577355. Aristotle's logical examples
Άρθρο Συνεδρίου uoadl:10577376. Common sense reasoning: what logic does this follow?
Άρθρο Συνεδρίου uoadl:10577387. Linear algebraic groups and descriptive set theory
Άρθρο Συνεδρίου uoadl:105774010. Formal methods: an overview and perspectives
Άρθρο Συνεδρίου uoadl:105774511. Datalog trees and their automata
Άρθρο Συνεδρίου uoadl:105774713. The VDM+B project: objectives and progress
Άρθρο Συνεδρίου uoadl:105775214. Countable structures with a fixed group of automorphisms
Άρθρο Συνεδρίου uoadl:105775415. Non-monotonic inference on belief sequences
Άρθρο Συνεδρίου uoadl:105775716. On end extensions of models of Σn- induction
Άρθρο Συνεδρίου uoadl:105775817. Characterization of the structures which admit effective enumerations
Άρθρο Συνεδρίου uoadl:105776018. On the completeness of theory-based variant of resolution
Άρθρο Συνεδρίου uoadl:105776219. Topology in lambda calculus
Άρθρο Συνεδρίου uoadl:105776320. Trees and finite branching
Άρθρο Συνεδρίου uoadl:1057765