skip to content
Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 Preview this item
ClosePreview this item
Checking...

Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979

Author: J Bečvář
Publisher: Berlin ; New York : Springer-Verlag, 1979.
Series: Lecture notes in computer science, 74.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
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

Genre/Form: Conference papers and proceedings
Congresses
Congrès
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J Bečvář
ISBN: 0387095268 9780387095264 3540095268 9783540095262
OCLC Number: 5264729
Description: ix, 580 pages : illustrations ; 25 cm.
Contents: A sound and complete proof system for partial program correctness.- The problem of reachability and verification of programs.- Assertion programming.- Complexity classes of formal languages.- Fast probabilistic algorithms.- Relative succinctness of representations of languages and separation of complexity classes.- On two types of loops.- Full abstraction for a simple parallel programming language.- On some developments in cryptography and their applications to computer science.- Searching, sorting and information theory.- Lcf: A way of doing proofs with a machine.- Axioms or algorithms.- Power from power series.- Computational complexity of string and graph ident ification.- A survey of grammar and l forms-1978.- A theoretical study on the time analysis of programs.- Completeness problems in verification of programs and program schemes.- Relationships between AFDL's and cylinders.- Computable data types.- Program equivalence and provability.- Interactive L systems with almost interactionless behaviour.- On the simplification of constructions in degrees of unsolvability via computational complexity.- An algebraic extension of the Chomsky - hierarchy.- Bounds on computational complexity and approximability of initial segments of recursive sets.- On the weighted path length of binary search trees for unknown access probabilities.- Computational complexity of approximation algorithms for combinatorial problems.- A reduct-and-closure algorithm for graphs.- Small universal Minsky machines.- Parallel and two-way recognizers of directed acyclic graphs.- Fully effective solutions of recursive domain equations.- A note on computational complexity of a statistical deducibility testing procedure.- Context free normal systems.- New proofs for jump dpda's.- Synchronization and maximality for very pure subsemigroups of a free semigroup.- On the sets of minimal indices of partial recursive functions.- Some remarks on Boolean sums.- On the propositional algorithmic logic.- Ch(k) grammars: A characterization of LL(k) languages.- A uniform approach to balanced binary and multiway trees.- On the generative capacity of some classes of grammars with regulated rewriting.- Validity test for Floyd's operator-precedence parsing algorithms.- On the languages of bounded Petri nets.- Dyck language D2 is not absolutely parallel.- Fixed points in the power-set algebra of infinite trees.- On relaxation rules in algorithmic logic.- L-Fuzzy functorial automata.- Schematics of structural parallel programming and its applications.- On axiomatization of deterministic propositional dynamic logic.- Bounded recursion and complexity classes.- Characterization of rational and algebraic power series.- A crossing measure for 2-tape Turing machines.- The complexity of lexicographic sorting and searching.- An algebraic approach to concurrence.- On multitape automata.- A turing machine oracle hierarchy.- A survey of some syntactic results in the ?-calculus.- On rational expressions representing infinite rational trees : Application to the structure of flow charts.
Series Title: Lecture notes in computer science, 74.
Responsibility: edited by J. Bečvář.

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/5264729> # Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "5264729" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/365367396#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/fonctions_calculables_congres> ; # Fonctions calculables--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/computable_functions_congresses> ; # Computable functions--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/fundamentele_informatica> ; # Fundamentele informatica
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/algorithmes> ; # Algorithmes
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/logique> ; # logique
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/computer_programming> ; # Computer programming
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/electronic_digital_computers_programming_congresses> ; # Electronic digital computers--Programming--Congresses
    schema:about <http://dewey.info/class/519.7/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/informatique_theorique> ; # informatique théorique
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/machine_theory_congresses> ; # Machine theory--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/correction_programme> ; # correction programme
    schema:about <http://id.worldcat.org/fast/872010> ; # Computer algorithms
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/computer_algorithms_congresses> ; # Computer algorithms--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/verification_programme> ; # vérification programme
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/automates_mathematiques_theorie_des> ; # Automates mathématiques, Théorie des
    schema:about <http://id.loc.gov/authorities/subjects/sh85029469> ; # Computable functions
    schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/365367396#Topic/computer_algorithms> ; # Computer algorithms
    schema:about <http://id.worldcat.org/fast/871985> ; # Computable functions
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/120103606> ; # J. Bečvář
    schema:creator <http://experiment.worldcat.org/entity/work/data/365367396#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_8th_1979_olomouc_czech_republic> ; # Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc, Czech Republic)
    schema:datePublished "1979" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/365367396> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/365367396#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979"@en ;
    schema:productID "5264729" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/5264729#PublicationEvent/berlin_new_york_springer_verlag_1979> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/365367396#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-09526-2> ;
    schema:url <http://dx.doi.org/10.1007/3-540-09526-8> ;
    schema:url <http://site.ebrary.com/id/10275045> ;
    schema:url <http://books.scholarsportal.info/viewdoc.html?id=/ebooks/ebooks0/springer/2010-04-28/1/9780387095264> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=74> ;
    schema:workExample <http://worldcat.org/isbn/9783540095262> ;
    schema:workExample <http://worldcat.org/isbn/9780387095264> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/5264729> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_8th_1979_olomouc_czech_republic> # Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc, Czech Republic)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/365367396#Place/olomouc_czech_republic> ; # Olomouc, Czech Republic)
    schema:name "Symposium on Mathematical Foundations of Computer Science (1972- ) (8th : 1979 : Olomouc, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Place/olomouc_czech_republic> # Olomouc, Czech Republic)
    a schema:Place ;
    schema:name "Olomouc, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/5264729> ; # Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/automates_mathematiques_theorie_des> # Automates mathématiques, Théorie des
    a schema:Intangible ;
    schema:name "Automates mathématiques, Théorie des"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/computable_functions_congresses> # Computable functions--Congresses
    a schema:Intangible ;
    schema:name "Computable functions--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/computer_algorithms_congresses> # Computer algorithms--Congresses
    a schema:Intangible ;
    schema:name "Computer algorithms--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/correction_programme> # correction programme
    a schema:Intangible ;
    schema:name "correction programme"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/electronic_digital_computers_programming_congresses> # Electronic digital computers--Programming--Congresses
    a schema:Intangible ;
    schema:name "Electronic digital computers--Programming--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/fonctions_calculables_congres> # Fonctions calculables--Congrès
    a schema:Intangible ;
    schema:name "Fonctions calculables--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/fundamentele_informatica> # Fundamentele informatica
    a schema:Intangible ;
    schema:name "Fundamentele informatica"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/informatique_theorique> # informatique théorique
    a schema:Intangible ;
    schema:name "informatique théorique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/machine_theory_congresses> # Machine theory--Congresses
    a schema:Intangible ;
    schema:name "Machine theory--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/programmation_informatique> # Programmation (Informatique)
    a schema:Intangible ;
    schema:name "Programmation (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/365367396#Topic/verification_programme> # vérification programme
    a schema:Intangible ;
    schema:name "vérification programme"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85029469> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/871985> # Computable functions
    a schema:Intangible ;
    schema:name "Computable functions"@en ;
    .

<http://id.worldcat.org/fast/872010> # Computer algorithms
    a schema:Intangible ;
    schema:name "Computer algorithms"@en ;
    .

<http://id.worldcat.org/fast/872390> # Computer programming
    a schema:Intangible ;
    schema:name "Computer programming"@en ;
    .

<http://viaf.org/viaf/120103606> # J. Bečvář
    a schema:Person ;
    schema:birthDate "1926" ;
    schema:familyName "Bečvář" ;
    schema:givenName "J." ;
    schema:name "J. Bečvář" ;
    .

<http://worldcat.org/isbn/9780387095264>
    a schema:ProductModel ;
    schema:isbn "0387095268" ;
    schema:isbn "9780387095264" ;
    .

<http://worldcat.org/isbn/9783540095262>
    a schema:ProductModel ;
    schema:isbn "3540095268" ;
    schema:isbn "9783540095262" ;
    .

<http://www.worldcat.org/title/-/oclc/5264729>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/5264729> ; # Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979
    schema:dateModified "2016-11-04" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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