skip to content
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 Preview this item
ClosePreview this item
Checking...

Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974

Author: Andrzej Blikle; Polska Akademia Nauk. Centrum Obliczeniowe.; Stefan Banach International Mathematical Center.
Publisher: Berlin ; New York : Springer-Verlag, 1975.
Series: Lecture notes in computer science, 28.
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
Additional Physical Format: Online version:
Symposium on Mathematical Foundations of Computer Science (1972- ) (3rd : 1974 : Jadwisin, Warsaw, Poland).
Mathematical foundations of computer science.
Berlin ; New York : Springer-Verlag, 1975
(OCoLC)752883493
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Andrzej Blikle; Polska Akademia Nauk. Centrum Obliczeniowe.; Stefan Banach International Mathematical Center.
ISBN: 0387071628 9780387071626 3540071628 9783540071624
OCLC Number: 1273595
Notes: "Organized by the Computation Center of the Polish Academy of Sciences and sponsored by the International Mathematical Stefan Banach Center in Warsaw."
Description: vii, 484 pages ; 25 cm.
Contents: Sequential functions and generalized Moore and Mealy automata.- Mathematical methods of the theory of stochastic automata.- On the quasi-controllability of automata.- Models for analysis of races in sequential networks.- Factorizations, congruences, and the decomposition of automata and systems.- On the periodic sum and extensions of finite automata.- Finite branching automata: automata theory motivated by problem solving.- On configurations in cellular automata.- Finite automata acceptation of infinite sequences.- R-fuzzy automata with a time-variant structure.- Functions computable in the limit by probabilistic machines.- Some properties of limit recursive functions.- On some approximation problems of continuous computation.- Set-theoretic properties of programs in stored program computers.- Classification of programs of a SPC.- The algebraic approach to the theory of computing systems.- Continuous simple Z-machines, Z-computable functions and sets of functions of n real variables.- An approach to correctness proofs of semicoroutines.- Towards an understanding of complex processes.- Simulation.- Concurrent programs.- Ultralinear expressions.- A family of algebraic systems related to the theory of equations on free monoids.- Stretching by probabilistic tree automata and Santos grammars.- Top down versus bottom up syntax analysis revised.- Substring languages.- Defining languages by Mazurkiewicz aigorithms.- Complexity and normal forms of context-free languages.- The axiomatization problem of a theory of linear languages.- A lattice-theoretical approach to problem-solving.- On the equivalence of planar grammars and parallel picture processing algorithms.- Combinatorial aspects of information storage and retrieval.- Modular approach to the logical theory of programs.- Proving programs by sets of computations.- Bases of paths in correctness proofs.- Algebraic models I.- Structured programmability of iterative algorithms.- On equivalence of programs.- Mathematical model of programs with dynamic allocation of variables.- Mathematical foundations of motivation languages and synthesis maps.- The semantics of semantic equations.- ?+ -valued algorithmic logic as a tool to investigate procedures.- Call-by-value versus call-by-name: A proof-theoretic comparison.- Procedures, formal computations and models.
Series Title: Lecture notes in computer science, 28.
Responsibility: edited by A. Blikle.

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/1273595> # Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974
    a schema:Book, schema:CreativeWork ;
    library:oclcnum "1273595" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/892425728#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/ordinateurs_programmation_congres> ; # Ordinateurs--Programmation--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/sequential_machine_theory_congresses> ; # Sequential machine theory--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/automates_mathematiques_theorie_des_congres> ; # Automates mathématiques, Théorie des--Congrès
    schema:about <http://id.loc.gov/authorities/subjects/sh85120149> ; # Sequential machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/programming_electronic_computers_congresses> ; # Programming (Electronic computers)--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/computer_programming> ; # Computer programming
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/langages_formels_congres> ; # Langages formels--Congrès
    schema:about <http://dewey.info/class/519.4/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/langages_formels> ; # Langages formels
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/automates_sequentiels_theorie_des_congres> ; # Automates séquentiels, Théorie des--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/programmation_informatique> ; # Programmation (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/formal_languages_congresses> ; # Formal languages--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/sequential_machine_theory> ; # Sequential machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/fundamentele_informatica> ; # Fundamentele informatica
    schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/formal_languages> ; # Formal languages
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/153595658> ; # Polska Akademia Nauk. Centrum Obliczeniowe.
    schema:contributor <http://viaf.org/viaf/149523044> ; # Stefan Banach International Mathematical Center.
    schema:contributor <http://viaf.org/viaf/101830464> ; # Andrzej Blikle
    schema:creator <http://experiment.worldcat.org/entity/work/data/892425728#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_3rd_1974_jadwisin_warsaw_poland> ; # Symposium on Mathematical Foundations of Computer Science (1972- ) (3rd : 1974 : Jadwisin, Warsaw, Poland)
    schema:datePublished "1975" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/892425728> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892425728#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/752883493> ;
    schema:name "Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974"@en ;
    schema:productID "1273595" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1273595#PublicationEvent/berlin_new_york_springer_verlag_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/892425728#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=28> ;
    schema:url <http://dx.doi.org/10.1007/3-540-07162-8> ;
    schema:workExample <http://worldcat.org/isbn/9780387071626> ;
    schema:workExample <http://worldcat.org/isbn/9783540071624> ;
    umbel:isLike <http://d-nb.info/750291117> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1273595> ;
    .


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/892425728#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_3rd_1974_jadwisin_warsaw_poland> # Symposium on Mathematical Foundations of Computer Science (1972- ) (3rd : 1974 : Jadwisin, Warsaw, Poland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/892425728#Place/jadwisin_warsaw_poland> ; # Jadwisin, Warsaw, Poland)
    schema:name "Symposium on Mathematical Foundations of Computer Science (1972- ) (3rd : 1974 : Jadwisin, Warsaw, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Place/jadwisin_warsaw_poland> # Jadwisin, Warsaw, Poland)
    a schema:Place ;
    schema:name "Jadwisin, Warsaw, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1273595> ; # Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/automates_mathematiques_theorie_des_congres> # Automates mathématiques, Théorie des--Congrès
    a schema:Intangible ;
    schema:name "Automates mathématiques, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/automates_sequentiels_theorie_des_congres> # Automates séquentiels, Théorie des--Congrès
    a schema:Intangible ;
    schema:name "Automates séquentiels, Théorie des--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/formal_languages_congresses> # Formal languages--Congresses
    a schema:Intangible ;
    schema:name "Formal languages--Congresses"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/langages_formels_congres> # Langages formels--Congrès
    a schema:Intangible ;
    schema:name "Langages formels--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/ordinateurs_programmation_congres> # Ordinateurs--Programmation--Congrès
    a schema:Intangible ;
    schema:name "Ordinateurs--Programmation--Congrès"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/programming_electronic_computers_congresses> # Programming (Electronic computers)--Congresses
    a schema:Intangible ;
    schema:name "Programming (Electronic computers)--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/sequential_machine_theory> # Sequential machine theory
    a schema:Intangible ;
    schema:name "Sequential machine theory"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892425728#Topic/sequential_machine_theory_congresses> # Sequential machine theory--Congresses
    a schema:Intangible ;
    schema:name "Sequential machine theory--Congresses"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85120149> # Sequential machine theory
    a schema:Intangible ;
    schema:name "Sequential machine theory"@en ;
    .

<http://viaf.org/viaf/101830464> # Andrzej Blikle
    a schema:Person ;
    schema:familyName "Blikle" ;
    schema:givenName "Andrzej" ;
    schema:name "Andrzej Blikle" ;
    .

<http://viaf.org/viaf/149523044> # Stefan Banach International Mathematical Center.
    a schema:Organization ;
    schema:name "Stefan Banach International Mathematical Center." ;
    .

<http://viaf.org/viaf/153595658> # Polska Akademia Nauk. Centrum Obliczeniowe.
    a schema:Organization ;
    schema:name "Polska Akademia Nauk. Centrum Obliczeniowe." ;
    .

<http://worldcat.org/isbn/9780387071626>
    a schema:ProductModel ;
    schema:isbn "0387071628" ;
    schema:isbn "9780387071626" ;
    .

<http://worldcat.org/isbn/9783540071624>
    a schema:ProductModel ;
    schema:isbn "3540071628" ;
    schema:isbn "9783540071624" ;
    .

<http://www.worldcat.org/oclc/752883493>
    a schema:CreativeWork ;
    rdfs:label "Mathematical foundations of computer science." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1273595> ; # Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974
    .

<http://www.worldcat.org/title/-/oclc/1273595>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1273595> ; # Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974
    schema:dateModified "2017-09-15" ;
    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.