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

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://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-05-10" ;
   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.