skip to content
Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984 Preview this item
ClosePreview this item
Checking...

Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984

Author: Michal Chytil; Václav Koubek
Publisher: Berlin ; New York : Springer-Verlag, 1984.
Series: Lecture notes in computer science, 176.
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: Kongreß
Conference papers and proceedings
Prag (1984)
Congresses
Congrès
Additional Physical Format: Online version:
Mathematical foundations of computer science 1984.
Berlin ; New York : Springer-Verlag, 1984
(OCoLC)768017387
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Michal Chytil; Václav Koubek
ISBN: 0387133720 9780387133720 3540133720 9783540133728
OCLC Number: 10995831
Notes: Consists of contributions presented at the 11th Symposium on Mathematical Foundations of Computer Science held at Prague, Czechoslovakia, Sept. 3-7, 1984.
Description: xi, 581 pages : illustrations ; 25 cm.
Contents: Separating, strongly separating, and collapsing relativized complexity classes.- Complexity of quantifier elimination in the theory of algebraically closed fields.- Systolic automata - power, characterizations, nonhomogeneity.- A note on unique decipherability.- Outline of an algebraic language theory.- Thue systems and the Church-Rosser property.- Limits, higher type computability and type-free languages.- Traces, histories, graphs: Instances of a process monoid.- Recent results on automata and infinite words.- VLSI algorithms and architectures.- Decidability of monadic theories.- On the Ehrenfeucht conjecture on test sets and its dual version.- Sparse oracles, lowness, and highness.- Computability of probabilistic parameters for some classes of formal languages.- A truely morphic characterization of recursively enumerable sets.- On the Herbrand Kleene universe for nondeterministic computations.- An investigation of controls for concurrent systems by abstract control languages.- On generalized words of Thue-Morse.- Nondeterminism is essential for two-way counter machines.- Weak and strong fairness in CCS.- On the complexity of inductive inference.- Monotone edge sequences in line arrangements and applications.- Many-sorted temporal logic for multi-processes systems.- Process logics : two decidability results.- On searching of special classes of mazes and finite embedded graphs.- The power of the future perfect in program logics.- Hierarchy of reversal and zerotesting bounded multicounter machines.- On the power of alternation in finite automata.- The equivalence problem and correctness formulas for a simple class of programs.- Lower bounds for polygon simplicity testing and other problems.- A uniform independence of invariant sentences.- On the equivalence of compositions of morphisms and inverse morphisms on regular languages.- Some connections between presentability of complexity classes and the power of formal systems of reasoning.- Finding a maximum flow in /s,t/-planar network in linear expected time.- Nondeterministic logspace reductions.- Factoring multivariate polynomials over algebraic number fields.- Godel numberings, principal morphisms, combinatory algebras.- Representations of integers and language theory.- New lower bound for polyhedral membership problem with an application to linear programming.- Decidability of the equivalence problem for synchronous deterministic pushdown automata.- Models and operators for nondeterministic processes.- Algorithms for string editing which permit arbitrarily complex edit constraints.- The structure of polynomial complexity cores.- Solving visibility problems by using skeleton structures.- Another look at parameterization using algebras with subsorts.- A lower bound on complexity of branching programs.- From dynamic algebras to test algebras.- Combinatorial games with exponential space complete decision problems.- Fast recognitions of pushdown automaton and context-free languages.- Multiprocessor systems and their concurrency.- Free constructions in algebraic institutions.- Remarks on comparing expressive power of logics of programs.- The complexity of problems concerning graphs with regularities.- On the complexity of slice functions.- An exponential lower bound for one-time-only branching programs.- A topological view of some problems in complexity theory.- Propositional dynamic logic with strong loop predicate.
Series Title: Lecture notes in computer science, 176.
Responsibility: edited by M.P. Chytil and V. Koubek.

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/10995831> # Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "10995831" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792913258#Place/berlin> ; # Berlin
   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/792913258#Topic/computer_science_mathematics_congresses> ; # Computer science--Mathematics--Congresses
   schema:about <http://dewey.info/class/519.4/e19/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/792913258#Topic/datenverarbeitung> ; # Datenverarbeitung
   schema:about <http://experiment.worldcat.org/entity/work/data/792913258#Topic/mathematik> ; # Mathematik
   schema:about <http://experiment.worldcat.org/entity/work/data/792913258#Topic/theoretische_informatik> ; # Theoretische Informatik
   schema:about <http://experiment.worldcat.org/entity/work/data/792913258#Topic/computer_science_mathematics> ; # Computer science--Mathematics
   schema:about <http://experiment.worldcat.org/entity/work/data/792913258#Topic/grundlage> ; # Grundlage
   schema:about <http://experiment.worldcat.org/entity/work/data/792913258#Topic/informatique_mathematiques> ; # Informatique--Mathématiques
   schema:about <http://experiment.worldcat.org/entity/work/data/792913258#Topic/kongress> ; # Kongress
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/792913258#Meeting/symposium_on_mathematical_foundations_of_computer_science_1972_11th_1984_prague_czech_republic> ; # Symposium on Mathematical Foundations of Computer Science (1972- ) (11th : 1984 : Prague, Czech Republic)
   schema:contributor <http://viaf.org/viaf/23436995> ; # Michal Chytil
   schema:contributor <http://viaf.org/viaf/109305756> ; # Václav Koubek
   schema:datePublished "1984" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/792913258> ;
   schema:genre "Conference publication"@en ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kongreß"@en ;
   schema:genre "Prag (1984)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/792913258#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/768017387> ;
   schema:name "Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984"@en ;
   schema:productID "10995831" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/10995831#PublicationEvent/berlin_new_york_springer_verlag_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/792913258#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://www.springerlink.com/openurl.asp?genre=book&isbn=978-3-540-13372-8> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=176> ;
   schema:url <http://dx.doi.org/10.1007/BFb0030285> ;
   schema:workExample <http://worldcat.org/isbn/9783540133728> ;
   schema:workExample <http://worldcat.org/isbn/9780387133720> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/10995831> ;
    .


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

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

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

<http://experiment.worldcat.org/entity/work/data/792913258#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/10995831> ; # Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/792913258#Topic/computer_science_mathematics_congresses> # Computer science--Mathematics--Congresses
    a schema:Intangible ;
   schema:name "Computer science--Mathematics--Congresses"@en ;
    .

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

<http://experiment.worldcat.org/entity/work/data/792913258#Topic/theoretische_informatik> # Theoretische Informatik
    a schema:Intangible ;
   schema:name "Theoretische Informatik"@en ;
    .

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

<http://viaf.org/viaf/109305756> # Václav Koubek
    a schema:Person ;
   schema:familyName "Koubek" ;
   schema:givenName "Václav" ;
   schema:name "Václav Koubek" ;
    .

<http://viaf.org/viaf/23436995> # Michal Chytil
    a schema:Person ;
   schema:familyName "Chytil" ;
   schema:givenName "Michal" ;
   schema:name "Michal Chytil" ;
    .

<http://worldcat.org/isbn/9780387133720>
    a schema:ProductModel ;
   schema:isbn "0387133720" ;
   schema:isbn "9780387133720" ;
    .

<http://worldcat.org/isbn/9783540133728>
    a schema:ProductModel ;
   schema:isbn "3540133720" ;
   schema:isbn "9783540133728" ;
    .

<http://www.worldcat.org/oclc/768017387>
    a schema:CreativeWork ;
   rdfs:label "Mathematical foundations of computer science 1984." ;
   schema:description "Online version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/10995831> ; # Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984
    .

<http://www.worldcat.org/title/-/oclc/10995831>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/10995831> ; # Mathematical foundations of computer science 1984 : proceedings, 11th Symposium Praha, Czechoslovakia, September 3-7, 1984
   schema:dateModified "2017-12-25" ;
   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.