skip to content
Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings Preview this item
ClosePreview this item
Checking...

Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings

Author: Ivan M Havel; Václav Koubek
Publisher: Berlin ; New York : Springer-Verlag, ©1992.
Series: Lecture notes in computer science, 629.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

A collection of conference papers which includes discussion of graph layout problems, parallel recognition and ranking of context-free languages, the expansion of combinatorial polytopes, neural  Read more...

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: Conference papers and proceedings
Congresses
Congrès
konferencje
Additional Physical Format: Online version:
Mathematical foundations of computer science 1992.
Berlin ; New York : Springer-Verlag, ©1992
(OCoLC)679859408
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Ivan M Havel; Václav Koubek
ISBN: 038755808X 9780387558080
OCLC Number: 26363411
Description: ix, 521 pages : illustrations ; 25 cm.
Contents: On range searching with semialgebraic sets.- Graph layout problems.- Parallel recognition and ranking of context-free languages.- On the expansion of combinatorial polytopes.- Neural networks and complexity theory.- Theory of computation over stream algebras, and its applications.- Methods in parallel algorithmcs.- On the complexity of small description and related topics.- Weak parallel machines: A new class of physically feasible parallel machine models.- The complexity of graph connectivity.- A perfect parallel dictionary.- Some remarks on the test complexity of iterative logic arrays.- The degree structure of 1-L reductions.- Promise problems and access to unambiguous computation.- On the complexity of incremental computation.- Rational transductions and complexity of counting problems.- Negation elimination in equational formulae.- Object interaction.- Strong normalization of substitutions.- Probabilistic and pluralistic learners with mind changes.- Parallel complexity of iterated morphisms and the arithmetic of small numbers.- On computational power of weighted finite automata.- The shuffle exchange network has a Hamiltonian path.- Poset properties of complex traces.- A threshold for unsatisfiability.- Dataflow semantics for Petri nets.- About boundedness for some datalog and DATALOGneg programs.- Merging and sorting strings in parallel.- Characterization of context-pree languages by erasing automata.- Insertion and deletion of words: Determinism and reversibility.- Small universal one-state linear operator algorithm.- Mobility in the CC-paradigm.- The emptiness problem for intersections of regular languages.- On finite automata with limited nondeterminism (extended abstract).- Definitions and comparisons of local computations on graphs.- Efficient unidimensional universal cellular automaton.- Inferring a tree from walks.- Almost every set in exponential time is P-bi-immune.- A functorial semantics for observed concurrency.- Modelling concurrency with semi-commutations.- Decision problems for cellular automata and their semigroups.- On the nature of events.- New parallel algorithms for convex hull and triangulation in 3-dimensional space.- Two simple characterizations of well-founded semantics.- Fully abstract semantics for higher order communicating systems.- Superposable Trellis Automata.- Maintaining proximity in higher dimensional spaces.- Characterizing regular languages with polynomial densities.- A strategy for speeding-up the computation of characteristic sets.- One-rule trace-rewriting systems and confluence.
Series Title: Lecture notes in computer science, 629.
Responsibility: I.M. Havel, V. Koubek, eds.

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/26363411> # Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "26363411" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866311078#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://id.worldcat.org/fast/872460> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/construction_langage> ; # construction langage
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/semantique_langage_programmation> ; # sémantique langage programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/structure_donnee> ; # structure donnée
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/theorie_graphe> ; # théorie graphe
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/genie_logiciel> ; # génie logiciel
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatyka_matematyka_konferencje> ; # Informatyka--matematyka--konferencje
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatyka> ; # Informatyka
   schema:about <http://dewey.info/class/004.0151/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/algorithme_non_numerique> ; # algorithme non numérique
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatique_congres> ; # Informatique--Congrès
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/logique_mathematique> ; # logique mathématique
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatique_theorique> ; # informatique théorique
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/complexite_calcul> ; # complexité calcul
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/fundamentele_informatica> ; # Fundamentele informatica
   schema:about <http://experiment.worldcat.org/entity/work/data/866311078#Topic/combinatoire> ; # combinatoire
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/866311078#Person/havel_ivan_m> ; # Ivan M. Havel
   schema:contributor <http://experiment.worldcat.org/entity/work/data/866311078#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_17th_1992_prague_czech_republic> ; # Symposium on Mathematical Foundations of Computer Science (1972- ) (17th : 1992 : Prague, Czech Republic)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/866311078#Person/koubek_vaclav> ; # Václav Koubek
   schema:copyrightYear "1992" ;
   schema:datePublished "1992" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866311078> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866311078#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/679859408> ;
   schema:name "Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings"@en ;
   schema:productID "26363411" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/26363411#PublicationEvent/berlin_new_york_springer_verlag_1992> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866311078#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=629> ;
   schema:workExample <http://worldcat.org/isbn/9780387558080> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/26363411> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/866311078#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_17th_1992_prague_czech_republic> # Symposium on Mathematical Foundations of Computer Science (1972- ) (17th : 1992 : Prague, Czech Republic)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/866311078#Place/prague_czech_republic> ; # Prague, Czech Republic)
   schema:name "Symposium on Mathematical Foundations of Computer Science (1972- ) (17th : 1992 : Prague, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Person/havel_ivan_m> # Ivan M. Havel
    a schema:Person ;
   schema:familyName "Havel" ;
   schema:givenName "Ivan M." ;
   schema:name "Ivan M. Havel" ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Person/koubek_vaclav> # Václav Koubek
    a schema:Person ;
   schema:familyName "Koubek" ;
   schema:givenName "Václav" ;
   schema:name "Václav Koubek" ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Place/prague_czech_republic> # Prague, Czech Republic)
    a schema:Place ;
   schema:name "Prague, Czech Republic)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/26363411> ; # Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/algorithme_non_numerique> # algorithme non numérique
    a schema:Intangible ;
   schema:name "algorithme non numérique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/complexite_calcul> # complexité calcul
    a schema:Intangible ;
   schema:name "complexité calcul"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/construction_langage> # construction langage
    a schema:Intangible ;
   schema:name "construction langage"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatique_congres> # Informatique--Congrès
    a schema:Intangible ;
   schema:name "Informatique--Congrès"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatique_mathematiques> # Informatique--Mathématiques
    a schema:Intangible ;
   schema:name "Informatique--Mathématiques"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatique_theorique> # informatique théorique
    a schema:Intangible ;
   schema:name "informatique théorique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/informatyka_matematyka_konferencje> # Informatyka--matematyka--konferencje
    a schema:Intangible ;
   schema:name "Informatyka--matematyka--konferencje"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/logique_mathematique> # logique mathématique
    a schema:Intangible ;
   schema:name "logique mathématique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866311078#Topic/semantique_langage_programmation> # sémantique langage programmation
    a schema:Intangible ;
   schema:name "sémantique langage programmation"@en ;
    .

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

<http://worldcat.org/isbn/9780387558080>
    a schema:ProductModel ;
   schema:isbn "038755808X" ;
   schema:isbn "9780387558080" ;
    .

<http://www.worldcat.org/oclc/679859408>
    a schema:CreativeWork ;
   rdfs:label "Mathematical foundations of computer science 1992." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/26363411> ; # Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/26363411>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/26363411> ; # Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings
   schema:dateModified "2016-05-11" ;
   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.