Baltic Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer-Verlag

3540541314

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Complexity of probabilistic versus deterministic automata

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019368 ◽

2005 ◽

pp. 565-613 ◽

Author(s):

RūsiņŠ Freivalds

Keyword(s):

Deterministic Automata

Download Full-text

Automatic construction of test sets: Practical approach

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019363 ◽

2005 ◽

pp. 360-432 ◽

Author(s):

Juris Borzovs ◽

Audris Kalniņš ◽

Inga Medvedis

Keyword(s):

Practical Approach ◽

Automatic Construction ◽

Download Full-text

Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019366 ◽

2005 ◽

pp. 504-528 ◽

Author(s):

Regimantas Pliuškevičius

Keyword(s):

Linear Time ◽

Download Full-text

Using resolution for deciding solvable classes and building finite models

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019355 ◽

2005 ◽

pp. 33-64 ◽

Author(s):

Tanel Tammet

Keyword(s):

Download Full-text

Some models of inductive syntactical synthesis from sample computations

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019360 ◽

2005 ◽

pp. 213-252 ◽

Author(s):

Efim Kinber

Download Full-text

Automatic construction of test sets: Theoretical approach

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019362 ◽

2005 ◽

pp. 286-359 ◽

Author(s):

Andrejs Auziņš ◽

Jānis Bārzdiņš ◽

Jānis Bičevskis ◽

Kārlis Čerāns ◽

Audris Kalniņš

Keyword(s):

Theoretical Approach ◽

Automatic Construction ◽

Download Full-text

Aggregate approach for specification, validation, simulation and implementation of computer network protocols

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019364 ◽

2005 ◽

pp. 433-477 ◽

Author(s):

Henrikas Pranevitchius

Keyword(s):

Computer Network ◽

Network Protocols

Download Full-text

Rigal — a programming language for compiler writing

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019367 ◽

2005 ◽

pp. 529-564 ◽

Author(s):

Mikhail Auguston

Keyword(s):

Programming Language

Download Full-text

Toward knowledge-based specifications of languages

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019356 ◽

2005 ◽

pp. 65-76 ◽

Author(s):

Merik Meriste ◽

Jaan Penjam

Keyword(s):

Knowledge Based

Download Full-text

Inductive synthesis of term rewriting systems

Baltic Computer Science - Lecture Notes in Computer Science ◽

10.1007/bfb0019361 ◽

2005 ◽

pp. 253-285 ◽

Author(s):

Guntis Barzdins

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Inductive Synthesis ◽

Rewriting Systems

Download Full-text