skip to content
Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978 Preview this item
ClosePreview this item
Checking...

Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978

Author: J Winkowski; P van Emde Boas
Publisher: Berlin : Springer, 1978.
Series: Lecture notes in computer science, 64.
Edition/Format:   eBook : Document : 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: Congressen (vorm)
Additional Physical Format: Mathematical foundations of computer science 1978
(NL-LeOCL)864786611
(OCoLC)64317223
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: J Winkowski; P van Emde Boas
ISBN: 3540089217 9783540089216
OCLC Number: 150393738
Description: 1 online resource (x, 551 pages)
Contents: The connection between modal logic and algorithmic logics.- The algebraic semantics of recursive program schemes.- Finding the correctness proof of a concurrent program.- An algebra for parallelism based on petri nets.- Data types as functions.- Synthesis of communicating behaviour.- Programming languages as mathematical objects.- Writing and verifying sequential files updating programs.- On the completeness of query languages for relational data bases.- Mastering contextsensitivity in programming languages.- Decision problems concerning parallel programming.- Attribute grammars and two-level grammars: A unifying approach.- Extensions and implementations of abstract data type specifications.- Concurrency of manipulations in multidimensional information structures.- Deriving structures from structures.- Semantics of nondeterminism, concurrency and communication.- Contribution to the theory of concurrency in databases.- Facts in place/transition-nets.- Loop programs and classes of primitive recursive functions.- Dynamic theories of real and complex numbers.- Multiplicative complexity of a pair of bilinear forms and of the polynomial multiplication.- Some applications of algebraic semantics.- Goal-oriented derivation of logic programs.- Transforming recursion equations to algorithms.- Structural invariants for some classes of structured programs.- Synthesis of concurrent schemes.- Fast matrix multiplication by boolean RAM in linear storage.- Cycles of partial orders.- Complexity measures defined by mazurkiewicz-algorithms.- On functional grammars.- Analysis of a universal class of hash functions.- A framework for producing deterministic canonical bottom-up parsers.- Cooperating grammar systems.- Synchronized petri nets : A model for the description of non-autonomous sytems.- On divergence and halting problems for monadic program schemas.- Compression of clustered inverted files.- The completeness of propositional dynamic logic.- Improving memory utilization in transforming recursive programs.- On two subclasses of real-time grammars.- On information storage and retrieval systems an algebraic approach, part 1.- Probabilistic LCF.- On algorithmic theory of stacks.- Analyzing program solutions of coordination problems by cp-nets.- Structural properties of petri nets.- Ensuring correctness by arbitrary postfixed-points.- String-matching in real time: Some properties of the data structure.- Name independence and database abstraction in the relational model.- Free Petri net languages.- Transformations to produce certain covering grammars.- On the computational power of extended petri nets.- Theory of relations for databases - a tutorial survey.
Series Title: Lecture notes in computer science, 64.
Responsibility: ed. by J. Winkowski ; contrib. by P. van Emde Boas [and others].

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/150393738> # Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "150393738" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/5218816217#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/5218816217#Topic/computer_science> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/5218816217#Topic/fundamentele_informatica> ; # Fundamentele informatica
    schema:bookFormat schema:EBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/5218816217#Meeting/international_symposium_on_mathematical_foundations_of_computer_science_mfcs_7_1978_zakopane> ; # International Symposium on Mathematical Foundations of Computer Science, MFCS (7 : 1978 : Zakopane)
    schema:contributor <http://viaf.org/viaf/5113494> ; # P van Emde Boas
    schema:datePublished "1978" ;
    schema:editor <http://viaf.org/viaf/109315091> ; # J. Winkowski
    schema:exampleOfWork <http://worldcat.org/entity/work/id/5218816217> ;
    schema:genre "Congressen (vorm)"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/1611-3349> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/64317223> ;
    schema:name "Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978"@en ;
    schema:productID "150393738" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/150393738#PublicationEvent/berlin_springer_1978> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/5218816217#Agent/springer> ; # Springer
    schema:url <https://doi.org/10.1007/3-540-08921-7> ;
    schema:workExample <http://worldcat.org/isbn/9783540089216> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/150393738> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/5218816217#Meeting/international_symposium_on_mathematical_foundations_of_computer_science_mfcs_7_1978_zakopane> # International Symposium on Mathematical Foundations of Computer Science, MFCS (7 : 1978 : Zakopane)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/5218816217#Place/zakopane> ; # Zakopane)
    schema:name "International Symposium on Mathematical Foundations of Computer Science, MFCS (7 : 1978 : Zakopane)" ;
    .

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

<http://viaf.org/viaf/109315091> # J. Winkowski
    a schema:Person ;
    schema:familyName "Winkowski" ;
    schema:givenName "J." ;
    schema:name "J. Winkowski" ;
    .

<http://viaf.org/viaf/5113494> # P van Emde Boas
    a schema:Person ;
    schema:familyName "Emde Boas" ;
    schema:givenName "P. van" ;
    schema:name "P van Emde Boas" ;
    .

<http://worldcat.org/isbn/9783540089216>
    a schema:ProductModel ;
    schema:isbn "3540089217" ;
    schema:isbn "9783540089216" ;
    .

<http://worldcat.org/issn/1611-3349> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/150393738> ; # Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978
    schema:issn "1611-3349" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/64317223>
    a schema:CreativeWork ;
    rdfs:label "Mathematical foundations of computer science 1978" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/150393738> ; # Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978
    .

<http://www.worldcat.org/title/-/oclc/150393738>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/150393738> ; # Mathematical foundations of computer science 1978 : proceedings of the 7th symposium ; held in Zakopane, September 1978
    schema:dateModified "2019-06-08" ;
    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.