Baltic computer science. Selected papers (Q1202053): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bfb0019352 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2490884426 / rank | |||
Normal rank |
Latest revision as of 09:40, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Baltic computer science. Selected papers |
scientific article |
Statements
Baltic computer science. Selected papers (English)
0 references
23 January 1993
0 references
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]
0 references
Baltic computer science
0 references
Computer science
0 references