skip to content
Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings Preview this item
ClosePreview this item
Checking...

Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings

Author: Antoni Kreczmar; Grażyna Mirkowska-Salwicka
Publisher: Berlin, Heidelberg : Springer-Verlag, 1989.
Series: Lecture notes in computer science, 379.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following  Read more...
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: Electronic books
Additional Physical Format: Print version:
Mathematical Foundations of Computer Science 1989.
Berlin, Heidelberg : Springer-Verlag, 1989
(OCoLC)20167495
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Antoni Kreczmar; Grażyna Mirkowska-Salwicka
ISBN: 9783540481768 3540481761 0387514864 9780387514864
OCLC Number: 827358243
Description: 1 online resource : v.: digital.
Contents: From specification languages to specification knowledge bases: The PTO approach --
Monadic second-order logic and context-free graph-grammars --
A thesis for bounded concurrency --
Space bounded computations : Review and new separation results --
Concurrent nondeterministic processes: Adequacy of structure and behaviour --
LEDA a library of efficient data types and algorithms --
Correctness of concurrent processes --
Understanding nets --
On the strength of temporal proofs --
Proof-theoretic characterisations of logic programming --
Algebraically closed theories --
Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses --
Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A constructive glimpse --
Parallel complexity of lexicographically first problems for tree-structured graphs --
On the power of synchronization in parallel computations --
Optimal parallel algorithms for the recognition and colouring outerplanar graphs --
Logical characterizations of nonmonotonic TMSs --
Proving correctness of constructor implementations --
Equivalence notions for concurrent systems and refinement of actions --
System simulation and the sensitivity of self-stabilization --
Polynomial-time functions generate SAT: On P-splinters --
Generalized definite tree languages --
Pinwheel scheduling with two distinct numbers --
Testing approximate symmetry in the plane is NP-hard --
Memory and algebra --
Integer relations among algebraic numbers --
An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract) --
Complexity of decision problems under incomplete information --
On the nature of TELLUS --
Switching graphs and their complexity --
Pomset semantics for true concurrency with synchronization and recursion --
Oracle branching programs and Logspace versus P --
Generalizing singly-linked list reorganizing heuristics for doubly-linked lists --
Area complexity of merging --
Logically defined subsets of IN k --
An extended Herbrand theorem for first-order theories with equality interpreted in partial algebras --
Characterization of recognizable trace languages by distributed automata --
Knuth-Morris-Pratt algorithm: An analysis --
Pushdown automata on infinite trees and omega-Kleene closure of context-free tree sets --
An imperative type hierarchy with partial products --
A coloring algorithm for interval graphs --
Finite constants: Characterizations of a new decidable set of constants --
Optimal data flow analysis via observational equivalence --
One more method for proving lower bounds on the formula complexity of boolean functions --
The Hoare-like verification system for a language with an exception handling mechanism --
On the lengths of values in a finite transducer --
On varieties of languages closed under products with counter --
On the computational efficiency of symmetric neural networks --
Constructive aspects of the omega-rule : Application to proof systems in computer science and algorithmic logic --
How to define functionals on free structures in typed? calculus --
Concurrency, modularity, and synchronization --
On comparing probabilistic and deterministic automata complexity of languages.
Series Title: Lecture notes in computer science, 379.
Responsibility: edited by Antoni Kreczmar, Grazyna Mirkowska.

Abstract:

The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory.

Reviews

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

Tags

Be the first.

Similar Items

Related Subjects:(4)

User lists with this item (1)

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/827358243> # Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings
    a schema:CreativeWork, schema:Book, schema:MediaObject ;
    library:oclcnum "827358243" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/889444154#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://dewey.info/class/004.0151/e23/> ;
    schema:about <http://id.worldcat.org/fast/868961> ; # Combinatorial analysis
    schema:about <http://id.worldcat.org/fast/872527> ; # Computer software
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/12466705> ; # Grażyna Mirkowska-Salwicka
    schema:contributor <http://viaf.org/viaf/59692910> ; # Antoni Kreczmar
    schema:contributor <http://experiment.worldcat.org/entity/work/data/889444154#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_14th_1989_porabka_bielsko_poland_and_kozubnik_poland> ; # Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 : Porąbka, Bielsko, Poland and Kozubnik, Poland)
    schema:datePublished "1989" ;
    schema:description "The present volume contains papers selected for presentation at the 14th Symposium on Mathematical Foundations of Computer Science - MFCS '89 held in Porabka-Kozubnik, Poland, from August 28 to September 1, 1989. Previous MFCs proceedings have also been published in the Lecture Notes in Computer Science. This volume presents investigations and results in theoretical computer science, in particular in the following areas: logics of programs, parallel and distributed computing, deductive databases, automata and formal languages, algorithms and data structures, software specification and validity, complexity and computability theory."@en ;
    schema:description "From specification languages to specification knowledge bases: The PTO approach -- Monadic second-order logic and context-free graph-grammars -- A thesis for bounded concurrency -- Space bounded computations : Review and new separation results -- Concurrent nondeterministic processes: Adequacy of structure and behaviour -- LEDA a library of efficient data types and algorithms -- Correctness of concurrent processes -- Understanding nets -- On the strength of temporal proofs -- Proof-theoretic characterisations of logic programming -- Algebraically closed theories -- Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses -- Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A constructive glimpse -- Parallel complexity of lexicographically first problems for tree-structured graphs -- On the power of synchronization in parallel computations -- Optimal parallel algorithms for the recognition and colouring outerplanar graphs -- Logical characterizations of nonmonotonic TMSs -- Proving correctness of constructor implementations -- Equivalence notions for concurrent systems and refinement of actions -- System simulation and the sensitivity of self-stabilization -- Polynomial-time functions generate SAT: On P-splinters -- Generalized definite tree languages -- Pinwheel scheduling with two distinct numbers -- Testing approximate symmetry in the plane is NP-hard -- Memory and algebra -- Integer relations among algebraic numbers -- An iterative metric fully abstract semantics for nondeterministic dataflow (extended abstract) -- Complexity of decision problems under incomplete information -- On the nature of TELLUS -- Switching graphs and their complexity -- Pomset semantics for true concurrency with synchronization and recursion -- Oracle branching programs and Logspace versus P -- Generalizing singly-linked list reorganizing heuristics for doubly-linked lists -- Area complexity of merging -- Logically defined subsets of IN k -- An extended Herbrand theorem for first-order theories with equality interpreted in partial algebras -- Characterization of recognizable trace languages by distributed automata -- Knuth-Morris-Pratt algorithm: An analysis -- Pushdown automata on infinite trees and omega-Kleene closure of context-free tree sets -- An imperative type hierarchy with partial products -- A coloring algorithm for interval graphs -- Finite constants: Characterizations of a new decidable set of constants -- Optimal data flow analysis via observational equivalence -- One more method for proving lower bounds on the formula complexity of boolean functions -- The Hoare-like verification system for a language with an exception handling mechanism -- On the lengths of values in a finite transducer -- On varieties of languages closed under products with counter -- On the computational efficiency of symmetric neural networks -- Constructive aspects of the omega-rule : Application to proof systems in computer science and algorithmic logic -- How to define functionals on free structures in typed? calculus -- Concurrency, modularity, and synchronization -- On comparing probabilistic and deterministic automata complexity of languages."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/889444154> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/20167495> ;
    schema:name "Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings"@en ;
    schema:productID "827358243" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/827358243#PublicationEvent/berlin_heidelberg_springer_verlag_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/889444154#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://link.springer.com/10.1007/3-540-51486-4> ;
    schema:url <http://dx.doi.org/10.1007/3-540-51486-4> ;
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-51486-2> ;
    schema:workExample <http://worldcat.org/isbn/9780387514864> ;
    schema:workExample <http://worldcat.org/isbn/9783540481768> ;
    schema:workExample <http://dx.doi.org/10.1007/3-540-51486-4> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/827358243> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/889444154#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
    schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/889444154#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_14th_1989_porabka_bielsko_poland_and_kozubnik_poland> # Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 : Porąbka, Bielsko, Poland and Kozubnik, Poland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/889444154#Place/porabka_bielsko_poland_and_kozubnik_poland> ; # Porąbka, Bielsko, Poland and Kozubnik, Poland)
    schema:name "Symposium on Mathematical Foundations of Computer Science (1972- ) (14th : 1989 : Porąbka, Bielsko, Poland and Kozubnik, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/889444154#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/889444154#Place/porabka_bielsko_poland_and_kozubnik_poland> # Porąbka, Bielsko, Poland and Kozubnik, Poland)
    a schema:Place ;
    schema:name "Porąbka, Bielsko, Poland and Kozubnik, Poland)" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
    schema:name "Logic design"@en ;
    .

<http://id.worldcat.org/fast/868961> # Combinatorial analysis
    a schema:Intangible ;
    schema:name "Combinatorial analysis"@en ;
    .

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

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

<http://viaf.org/viaf/12466705> # Grażyna Mirkowska-Salwicka
    a schema:Person ;
    schema:familyName "Mirkowska-Salwicka" ;
    schema:givenName "Grażyna" ;
    schema:name "Grażyna Mirkowska-Salwicka" ;
    .

<http://viaf.org/viaf/59692910> # Antoni Kreczmar
    a schema:Person ;
    schema:familyName "Kreczmar" ;
    schema:givenName "Antoni" ;
    schema:name "Antoni Kreczmar" ;
    .

<http://worldcat.org/isbn/9780387514864>
    a schema:ProductModel ;
    schema:isbn "0387514864" ;
    schema:isbn "9780387514864" ;
    .

<http://worldcat.org/isbn/9783540481768>
    a schema:ProductModel ;
    schema:isbn "3540481761" ;
    schema:isbn "9783540481768" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/827358243> ; # Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/oclc/20167495>
    a schema:CreativeWork ;
    rdfs:label "Mathematical Foundations of Computer Science 1989." ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/827358243> ; # Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings
    .

<http://www.worldcat.org/title/-/oclc/827358243>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/827358243> ; # Mathematical Foundations of Computer Science 1989 : Porabka-Kozubnik, Poland August 28 - September 1, 1989 Proceedings
    schema:dateModified "2018-09-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.