Baltic computer science. Selected papers (Q1202053)

The articles of this volume will be reviewed individually. Indexed articles: \textit{Mints, G.; Tyugu, E.}, The programming system PRIZ, 1-17 [Zbl 1412.68044] \textit{Mints, Grigory; Smith, Jan M.; Tyugu, Enn}, Type-theoretical semantics of some declarative languages, 18-32 [Zbl 1412.68043] \textit{Tammet, Tanel}, Using resolution for deciding solvable classes and building finite models, 33-64 [Zbl 1412.68264] \textit{Meriste, Merik; Penjam, Jaan}, Toward knowledge-based specifications of languages, 65-76 [Zbl 1412.68029] \textit{Freivalds, Rūsiņš}, Inductive inference of recursive functions: qualitative theory, 77-110 [Zbl 1415.03045] \textit{Freivalds, Rūsiņš; Bārzdiņš, Jānis; Podnieks, Kārlis}, Inductive inference of recursive functions: complexity bounds, 111-155 [Zbl 1415.03046] \textit{Brāzma, Alvis}, Inductive synthesis of dot expressions, 156-212 [Zbl 1412.68291] \textit{Kinber, Efim}, Some models of inductive syntactical synthesis from sample computations, 213-252 [Zbl 1412.68041] \textit{Barzdins, Guntis}, Inductive synthesis of term rewriting systems, 253-285 [Zbl 1412.68290] \textit{Auziņš, Andrejs; Bārzdiņš, Jānis; Bičevskis, Jānis; Čerāns, Kārlis; Kalniņš, Audris}, Automatic construction of test sets: theoretical approach, 286-359 [Zbl 1412.68034] \textit{Borzovs, Juris; Kalniņš, Audris; Medvedis, Inga}, Automatic construction of test sets: practical approach, 360-432 [Zbl 1412.68035] \textit{Pranevitchius, Henrikas}, Aggregate approach for specification, validation, simulation and implementation of computer network protocols, 433-477 [Zbl 1412.68018] \textit{Gečas, Kastytis}, A compositional proof system for distributed programs, 478-503 [Zbl 1412.68038] \textit{Pliuškevičius, Regimantas}, Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus, 504-528 [Zbl 1415.03034] \textit{Auguston, Mikhail}, RIGAL -- a programming language for compiler writing, 529-564 [Zbl 1412.68028] \textit{Freivalds, Rūsiņš}, Complexity of probabilistic versus deterministic automata, 565-613 [Zbl 1412.68129]