Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBaltic Computer Science - Selected Papers
- Janis Barzdins, Dines Bjørner:
Baltic Computer Science, Selected Papers. Lecture Notes in Computer Science 502, Springer 1991, ISBN 3-540-54131-4
Deductive Synthesis of Programs
- Grigori Mints, Enn Tyugu:
The Programming System PRIZ. 1-17 - Grigori Mints, Jan M. Smith, Enn Tyugu:
Type-theoretical Semantics of Some Declarative Languages. 18-32 - Tanel Tammet:
Using Resolution for Deciding Solvable Classes and Building Finite Models. 33-64 - Merik Meriste, Jaan Penjam:
Toward Knowledge-based Specifications of Languages. 65-76
Inductive Synthesis of Programs
- Rusins Freivalds:
Inductive Inference of Recursive Functions: Qualitative Theory. 77-110 - Rusins Freivalds, Janis Barzdins, Karlis Podnieks:
Inductive Inference of Recursive Functions: Complexity Bounds. 111-155 - Alvis Brazma
:
Inductive Synthesis of Dot Expressions. 156-212 - Efim B. Kinber:
Some Models of Inductive Syntactical Synthesis from Sample Computations. 213-252 - Guntis Barzdins:
Inductive Synthesis of Term Rewritin Systems. 253-285
Automatic Test Case Generation
- Andrejs J. Auzins, Janis Barzdins, Janis Bicevskis, Karlis Cerans, Audris Kalnins:
Automatic Construction of Test Sets: Theoretical Approach. 286-359 - Juris Borzovs, Audris Kalnins, Inga Medvedis:
Automatic Construction of Test Sets: Practical Approach. 360-432
Specification and Verification of Distributed Systems
- Henrikas Pranevitchius:
Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols. 433-477 - Kastytis Gecas:
A Compositional Proof System for Distributed Programs. 478-503 - Regimantas Pliuskevicius:
Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus. 504-528
Miscellaneous
- Mikhail Auguston:
RIGAL - a Programming Language for Compiler Writing. 529-564 - Rusins Freivalds:
Complexity of Probabilistic Versus Deterministic Automata. 565-613
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
