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:   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 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


<http://www.worldcat.org/oclc/1273595>
library:oclcnum"1273595"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
<http://viaf.org/viaf/153595658>
rdf:typeschema:Organization
schema:name"Polska Akademia Nauk. Centrum Obliczeniowe."
schema:contributor
<http://viaf.org/viaf/149523044>
rdf:typeschema:Organization
schema:name"Stefan Banach International Mathematical Center."
schema:contributor
schema:creator
schema:datePublished"1975"
schema:exampleOfWork<http://worldcat.org/entity/work/id/892425728>
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974"@en
schema:publication
schema:publisher
schema:workExample
schema:workExample
umbel:isLike<http://d-nb.info/750291117>
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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