skip to content
Baltic Computer Science : Selected Papers Preview this item
ClosePreview this item
Checking...

Baltic Computer Science : Selected Papers

Author: Jānis Bārzdiṇš; Dines Bjorner
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1991.
Series: Lecture notes in computer science, 502.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:

This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Jānis Bārzdiṇš; Dines Bjorner
ISBN: 9783540541318 3540541314
OCLC Number: 699832023
Description: 1 Online-Ressource.
Contents: The programming system PRIZ.- Type-theoretical semantics of some declarative languages.- Using resolution for deciding solvable classes and building finite models.- Toward knowledge-based specifications of languages.- Inductive inference of recursive functions: Qualitative theory.- Inductive inference of recursive functions: Complexity bounds.- Inductive synthesis of dot expressions.- Some models of inductive syntactical synthesis from sample computations.- Inductive synthesis of term rewriting systems.- Automatic construction of test sets: Theoretical approach.- Automatic construction of test sets: Practical approach.- Aggregate approach for specification, validation, simulation and implementation of computer network protocols.- A compositional proof system for distributed programs.- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus.- Rigal - a programming language for compiler writing.- Complexity of probabilistic versus deterministic automata.
Series Title: Lecture notes in computer science, 502.
Responsibility: by Janis Barzdins, Dines Bjorner.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/699832023> # Baltic Computer Science Selected Papers
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "699832023" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866643595#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://dewey.info/class/004.09474/> ;
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/85519978> ; # Dines Bjorner
    schema:creator <http://viaf.org/viaf/293691218> ; # Jānis Bārzdiṇš
    schema:datePublished "1991" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866643595> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866643595#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Baltic Computer Science Selected Papers" ;
    schema:productID "699832023" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/699832023#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1991> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866643595#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
    schema:url <http://dx.doi.org/10.1007/BFb0019352> ;
    schema:url <http://swbplus.bsz-bw.de/bsz322903556cov.htm> ;
    schema:url <https://doi.org/10.1007/BFb0019352> ;
    schema:workExample <http://worldcat.org/isbn/9783540541318> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/699832023> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866643595#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
    schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/699832023> ; # Baltic Computer Science Selected Papers
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science ;" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/872527> # Computer software
    a schema:Intangible ;
    schema:name "Computer software" ;
    .

<http://viaf.org/viaf/293691218> # Jānis Bārzdiṇš
    a schema:Person ;
    schema:familyName "Bārzdiṇš" ;
    schema:givenName "Jānis" ;
    schema:name "Jānis Bārzdiṇš" ;
    .

<http://viaf.org/viaf/85519978> # Dines Bjorner
    a schema:Person ;
    schema:familyName "Bjorner" ;
    schema:givenName "Dines" ;
    schema:name "Dines Bjorner" ;
    .

<http://worldcat.org/isbn/9783540541318>
    a schema:ProductModel ;
    schema:isbn "3540541314" ;
    schema:isbn "9783540541318" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.