skip to content
Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975 Preview this item
ClosePreview this item
Checking...

Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975

Author: J Bečvář; Československá akademie věd. Matematický ústav.; International Federation for Information Processing.
Publisher: Berlin ; New York : Springer-Verlag, 1975.
Series: Lecture notes in computer science, 32.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
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: Congresses
Conference papers and proceedings
Congrès
Additional Physical Format: Online version:
Symposium on Mathematical Foundations of Computer Science (1972- ) (4th : 1975 : Mariánské Lázně, Czech Republic).
Mathematical foundations of computer science 1975.
Berlin ; New York : Springer-Verlag, 1975
(OCoLC)768015453
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: J Bečvář; Československá akademie věd. Matematický ústav.; International Federation for Information Processing.
ISBN: 0387073892 9780387073897 3540073892 9783540073895
OCLC Number: 1531867
Notes: "Organized by the Mathematical Institute of the Czechoslovak Academy of Sciences and is co-sponsored by the International Federation for Information Processing (IFIP)."
Description: x, 476 pages ; 25 cm
Contents: Construction of complete sample system for correctness testing.- Ten years of speedup.- On logics of discovery.- On models of protection in operating systems.- Parsing as a subtask of compiling.- Parallel recursive program schemes.- On some problems concerning Pawlak's machines.- Formal power series and growth functions of Lindenmayer systems.- On the representability of relations by deterministic and nondeterministic multi-tape automata.- On problems solvable by successive trials.- Automata and categories.- On some models of computability of boolean functions.- Automata and categories: Finiteness contra minimality.- Languages over free groups.- On the comparison of notions of approximation.- Non-linear speed-up theorem for two register minsky machines.- Systems of open paths in Petri nets.- On the largest full sub - AFL of the full AFL of context-free languages.- On complexity of nondeterministic Turing machines computations.- On closure properties of context-free derivation complexity classes.- Control structures in single block programs.- Minimal Goedel numbers and their identification in the limit.- Isomorphic representation of automata.- Extended simple regular expressions.- Conniver programs by logical point of view.- On the set of all automata with the same monoid of endomorphisms.- Nondeterministically recognizable sets of languages.- The approximation problem in computational statistics.- The continuous algebra of monadic languages.- On sets of complex-programmed Numbers.- Decision algorithms for Havel's branching automata.- Automata and categories - Input processes.- Formalization of algorithmic reasoning.- Proving program properties, symbolic evaluation and logical procedural semantics.- A contribution to error recovery.- On the analysis and synthesis problems for context-free expressions.- Monotone switching circuits and boolean matrix product.- On some lattice-theoretic properties of generable languages.- On some formal grammars generating dependency trees.- Graph walking automata.- On finding all solutions of the partitioning problem.- Greibach normal form complexity.- On correctness and essentiality of some Ianov schemas equivalence relations.- Polynomially complete problems in the logic of automate discovery.- Relational definition of computer languages.- First-order reduction of call-by-name to call-by-value.- Local disambiguating transformation.- On cardinal sequential outer measures.- On representation of sequential and parallel functions.- The theory of the modified post algebras and multidimensional automata structures.- An algebraic theory of formal languages.- On polynomial reducibility of word problem under embedding of recursively presented groups in finitely presented groups.- On the synthesis of automata with several initial states.- A hierarchy of regular sequence sets.- R-fuzzy grammars.- Characterization of some classes of context-free languages in terms of complexity classes.- Inductive inference of recursive functions.- Proving properties of programs by means of predicate logic.- A generalization of Scott's flow diagrams.
Series Title: Lecture notes in computer science, 32.
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/1531867> # Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "1531867" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/892426521#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/sequential_machine_theory_congresses> ; # Sequential machine theory--Congresses
    schema:about <http://id.worldcat.org/fast/932922> ; # Formal languages
    schema:about <http://dewey.info/class/001.640151/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh85120149> ; # Sequential machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/langages_formels_congres> ; # Langages formels--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/formal_languages> ; # Formal languages
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/machines_sequentielles_theorie_des_congres> ; # Machines séquentielles, Théorie des--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/formal_languages_congresses> ; # Formal languages--Congresses
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/automates_sequentiels_theorie_des_congres> ; # Automates séquentiels, Théorie des--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/langages_formels> ; # Langages formels
    schema:about <http://experiment.worldcat.org/entity/work/data/892426521#Topic/fundamentele_informatica> ; # Fundamentele informatica
    schema:about <http://id.worldcat.org/fast/1112895> ; # Sequential machine theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/120103606> ; # J. Bečvář
    schema:contributor <http://viaf.org/viaf/128832166> ; # Československá akademie věd. Matematický ústav.
    schema:contributor <http://viaf.org/viaf/133327008> ; # International Federation for Information Processing.
    schema:creator <http://experiment.worldcat.org/entity/work/data/892426521#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_4th_1975_marianske_lazne_czech_republic> ; # Symposium on Mathematical Foundations of Computer Science (1972- ) (4th : 1975 : Mariánské Lázně, Czech Republic)
    schema:datePublished "1975" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/892426521> ;
    schema:genre "Congresses"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/892426521#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/768015453> ;
    schema:name "Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975"@en ;
    schema:productID "1531867" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/1531867#PublicationEvent/berlin_new_york_springer_verlag_1975> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/892426521#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <https://doi.org/10.1007/3-540-07389-2> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=32> ;
    schema:workExample <http://worldcat.org/isbn/9783540073895> ;
    schema:workExample <http://worldcat.org/isbn/9780387073897> ;
    umbel:isLike <http://d-nb.info/750504706> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1531867> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/892426521#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_4th_1975_marianske_lazne_czech_republic> # Symposium on Mathematical Foundations of Computer Science (1972- ) (4th : 1975 : Mariánské Lázně, Czech Republic)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/892426521#Place/marianske_lazne_czech_republic> ; # Mariánské Lázně, Czech Republic)
    schema:name "Symposium on Mathematical Foundations of Computer Science (1972- ) (4th : 1975 : Mariánské Lázně, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/892426521#Place/marianske_lazne_czech_republic> # Mariánské Lázně, Czech Republic)
    a schema:Place ;
    schema:name "Mariánské Lázně, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/892426521#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1531867> ; # Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/892426521#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/892426521#Topic/formal_languages_congresses> # Formal languages--Congresses
    a schema:Intangible ;
    schema:name "Formal languages--Congresses"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/892426521#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/892426521#Topic/machines_sequentielles_theorie_des_congres> # Machines séquentielles, Théorie des--Congrès
    a schema:Intangible ;
    schema:name "Machines séquentielles, Théorie des--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/892426521#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://id.worldcat.org/fast/1112895> # Sequential machine theory
    a schema:Intangible ;
    schema:name "Sequential machine theory"@en ;
    .

<http://id.worldcat.org/fast/932922> # Formal languages
    a schema:Intangible ;
    schema:name "Formal languages"@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://viaf.org/viaf/128832166> # Československá akademie věd. Matematický ústav.
    a schema:Organization ;
    schema:name "Československá akademie věd. Matematický ústav." ;
    .

<http://viaf.org/viaf/133327008> # International Federation for Information Processing.
    a schema:Organization ;
    schema:name "International Federation for Information Processing." ;
    .

<http://worldcat.org/isbn/9780387073897>
    a schema:ProductModel ;
    schema:isbn "0387073892" ;
    schema:isbn "9780387073897" ;
    .

<http://worldcat.org/isbn/9783540073895>
    a schema:ProductModel ;
    schema:isbn "3540073892" ;
    schema:isbn "9783540073895" ;
    .

<http://www.worldcat.org/oclc/768015453>
    a schema:CreativeWork ;
    rdfs:label "Mathematical foundations of computer science 1975." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1531867> ; # Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
    .

<http://www.worldcat.org/title/-/oclc/1531867>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1531867> ; # Mathematical foundations of computer science 1975 : 4th Symposium, Mariánské Lázně, September 1-5, 1975
    schema:dateModified "2019-07-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.