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/theorie_programmation> ; # théorie programmation
   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://id.worldcat.org/fast/1112895> ; # Sequential machine theory
   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/theorie_automate> ; # théorie automate
   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/complexite_calcul> ; # complexité calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/recherche_information> ; # recherche information
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/simulation> ; # simulation
   schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/langage_formel> ; # langage formel
   schema:about <http://experiment.worldcat.org/entity/work/data/892425728#Topic/fundamentele_informatica> ; # Fundamentele informatica
   schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
   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/complexite_calcul> # complexité calcul
    a schema:Intangible ;
   schema:name "complexité calcul"@en ;
    .

<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/recherche_information> # recherche information
    a schema:Intangible ;
   schema:name "recherche information"@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://experiment.worldcat.org/entity/work/data/892425728#Topic/theorie_programmation> # théorie programmation
    a schema:Intangible ;
   schema:name "théorie programmation"@en ;
    .

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

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

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

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
   schema:name "Formal languages"@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-01-20" ;
   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.