The following pages link to Baltic Computer Science (Q4560347):
Displayed 16 items.
- The programming system PRIZ (Q4560348) (← links)
- Type-theoretical semantics of some declarative languages (Q4560349) (← links)
- Using resolution for deciding solvable classes and building finite models (Q4560350) (← links)
- Toward knowledge-based specifications of languages (Q4560351) (← links)
- Inductive inference of recursive functions: Qualitative theory (Q4560352) (← links)
- Inductive inference of recursive functions: Complexity bounds (Q4560353) (← links)
- Inductive synthesis of dot expressions (Q4560354) (← links)
- Some models of inductive syntactical synthesis from sample computations (Q4560355) (← links)
- Inductive synthesis of term rewriting systems (Q4560356) (← links)
- Automatic construction of test sets: Theoretical approach (Q4560358) (← links)
- Automatic construction of test sets: Practical approach (Q4560360) (← links)
- Aggregate approach for specification, validation, simulation and implementation of computer network protocols (Q4560361) (← links)
- A compositional proof system for distributed programs (Q4560363) (← links)
- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus (Q4560364) (← links)
- Rigal — a programming language for compiler writing (Q4560365) (← links)
- Complexity of probabilistic versus deterministic automata (Q4560366) (← links)