Abstract is missing.
- The Programming System PRIZGrigori Mints, Enn Tyugu. 1-17
- Type-theoretical Semantics of Some Declarative LanguagesGrigori Mints, Jan M. Smith, Enn Tyugu. 18-32
- Using Resolution for Deciding Solvable Classes and Building Finite ModelsTanel Tammet. 33-64
- Toward Knowledge-based Specifications of LanguagesMerik Meriste, Jaan Penjam. 65-76
- Inductive Inference of Recursive Functions: Qualitative TheoryRusins Freivalds. 77-110
- Inductive Inference of Recursive Functions: Complexity BoundsRusins Freivalds, Janis Barzdins, Karlis Podnieks. 111-155
- Inductive Synthesis of Dot ExpressionsAlvis Brazma. 156-212
- Some Models of Inductive Syntactical Synthesis from Sample ComputationsEfim B. Kinber. 213-252
- Inductive Synthesis of Term Rewritin SystemsGuntis Barzdins. 253-285
- Automatic Construction of Test Sets: Theoretical ApproachAndrejs J. Auzins, Janis Barzdins, Janis Bicevskis, Karlis Cerans, Audris Kalnins. 286-359
- Automatic Construction of Test Sets: Practical ApproachJuris Borzovs, Audris Kalnins, Inga Medvedis. 360-432
- Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network ProtocolsHenrikas Pranevitchius. 433-477
- A Compositional Proof System for Distributed ProgramsKastytis Gecas. 478-503
- Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary CalculusRegimantas Pliuskevicius. 504-528
- RIGAL - a Programming Language for Compiler WritingMikhail Auguston. 529-564
- Complexity of Probabilistic Versus Deterministic AutomataRusins Freivalds. 565-613