skip to content
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977 Preview this item
ClosePreview this item
Checking...

Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977

Author: Marek Karpiński
Publisher: Berlin ; New York : Springer-Verlag, 1977.
Series: Lecture notes in computer science, 56.
Edition/Format:   eBook : Document : 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: Electronic books
Conference papers and proceedings
Congressen (vorm)
Congresses
Additional Physical Format: Print version:International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland).
Fundamentals of computation theory.
Berlin ; New York : Springer-Verlag, 1977
(DLC) 77014022
(OCoLC)3294633
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Marek Karpiński
ISBN: 9783540370840 3540370846
OCLC Number: 326962935
Description: 1 online resource (xi, 542 pages) : illustrations.
Contents: Methodology of proving a finite-state stochastic representability and nonrepresentability.- Non deterministic recursive program schemes.- Some remarks on relational composition in computational theory and practice.- An axiomatization of the rational data objects.- Some recent results on recognizable formal power series.- Canonical forms of context-free grammars and position restricted grammar forms.- Environments, labyrinths and automata.- Automata in labyrinths.- Stochastic algebras and stochastic automata over general measurable spaces: Algebraic theory and a decomposition theorem.- Some remarks on the algebra of automaton mappings.- Algebraic semantics of type definitions and structured variables.- Universal algebras and tree automata.- Vectors of coroutines over blikle nets.- Initial algebraic semantics for non context-free languages.- Reading functions and an extension of Kleene theorem for some families of languages.- Operations on ?-regular languages.- On the relation between graph grammars and graph L-systems.- On the theory of syntactic monoids for rational languages.- The equivalence of schemata with some feedbacks.- Disjunctive languages and codes.- Families of R-fuzzy Languages.- Algebras of partial sequences - A tool to deal with concurrency.- Remarks on fixed points of functors.- Recognizable and regular languages in a category.- Free dynamics and algebraic semantics.- Efficient state-splitting.- Nets over many sorted operator domains and their semantics.- Embedding theorems in the algebraic theory of graph grammars.- Some "geometrical" categories associated with flowchart schemes.- On partial recursive definitions and programs.- Transformations of derivation sequences in graph grammars.- Applicability of a production in a categorical grammar.- On order-complete universal algebra and enriched functorial semantics.- Functorial semantics of the type free ?-?? calculus.- A more categorical model of universal algebra.- Graph grammars.- Fixed-points and algebras with infinitely long expressions, II.- Relational automata in a category and their languages.- Generalized linton algebras.- On analysis of protoschemes.- Using determinancy of games to eliminate quantifiers.- Non-generable RE sets.- Polynomial time algorithms in the theory of linear diophantine equations.- Complexity of common subsequence problems.- Complexity of sequence encodings.- Network complexity.- On computability of Kolmogorov complexity.- The equivalences problems for binary EOL-Systems are decidable.- On a theory of inductive inference.- On finite and infinite computations.- Expected behavior of graph coloring algorithms.- Two NP-complete problems related to information retrieval.- On properties of certain synchronizing tool for parallel computations.- The parallel complexity of arithmetic computation.- Maximal rectangular relations.- A Dushnik - Miller type dimension of graphs and its complexity.- Programmability and P=NP conjecture.- An algorithmic approach to set theory.- Decidability of ? - Trees with bounded sets - A survey.- Empty - storage - acceptance of ? - languages.- Degrees of circuit complexity.- Recursive ?-languages.- A generalized computability thesis.
Series Title: Lecture notes in computer science, 56.
Responsibility: edited by Marek Karpiński.
More information:

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/326962935> # Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
    library:oclcnum "326962935" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/4820881124#Place/berlin> ; # Berlin
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://experiment.worldcat.org/entity/work/data/4820881124#Topic/computational_complexity> ; # Computational complexity
    schema:about <http://id.worldcat.org/fast/871991> ; # Computational complexity
    schema:about <http://experiment.worldcat.org/entity/work/data/4820881124#Topic/recursivite_theorie_de_la_congres> ; # Recursivité, Théorie de la--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/4820881124#Topic/logik> ; # Logik
    schema:about <http://id.worldcat.org/fast/1004846> ; # Machine theory
    schema:about <http://id.loc.gov/authorities/subjects/sh85112012> ; # Recursion theory
    schema:about <http://experiment.worldcat.org/entity/work/data/4820881124#Topic/automatentheorie> ; # Automatentheorie
    schema:about <http://id.worldcat.org/fast/849000> ; # Categories (Mathematics)
    schema:about <http://id.worldcat.org/fast/1091982> ; # Recursion theory
    schema:about <http://dewey.info/class/511.3/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/4820881124#Topic/machine_theory> ; # Machine theory
    schema:about <http://experiment.worldcat.org/entity/work/data/4820881124#Topic/complexite_de_calcul_informatique_congres> ; # Complexité de calcul (Informatique)--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/4820881124#Topic/berechenbarkeit> ; # Berechenbarkeit
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/167681> ; # Marek Karpiński
    schema:creator <http://experiment.worldcat.org/entity/work/data/4820881124#Meeting/international_fct_conference_1st_1977_poznan_poland_and_kornik_poland> ; # International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland)
    schema:datePublished "1977" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/4820881124> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Congressen (vorm)"@en ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/4820881124#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/3294633> ;
    schema:name "Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977"@en ;
    schema:productID "326962935" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/326962935#PublicationEvent/berlin_new_york_springer_verlag_1977> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/4820881124#Agent/springer_verlag> ; # Springer-Verlag
    schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-08442-6> ;
    schema:url <http://link.springer.com/10.1007/3-540-08442-8> ;
    schema:url <https://archive.org/details/fundamentalsofco00inte> ;
    schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=56> ;
    schema:url <http://dx.doi.org/10.1007/3-540-08442-8> ;
    schema:url <https://login.proxy.lib.strath.ac.uk/login?url=http://link.springer.com/10.1007/3-540-08442-8> ;
    schema:workExample <http://worldcat.org/isbn/9783540370840> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/326962935> ;
    .


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

<http://experiment.worldcat.org/entity/work/data/4820881124#Meeting/international_fct_conference_1st_1977_poznan_poland_and_kornik_poland> # International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/4820881124#Place/poznan_poland_and_kornik_poland> ; # Poznán, Poland and Kórnik, Poland)
    schema:name "International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4820881124#Place/poznan_poland_and_kornik_poland> # Poznán, Poland and Kórnik, Poland)
    a schema:Place ;
    schema:name "Poznán, Poland and Kórnik, Poland)" ;
    .

<http://experiment.worldcat.org/entity/work/data/4820881124#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/326962935> ; # Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/4820881124#Topic/complexite_de_calcul_informatique_congres> # Complexité de calcul (Informatique)--Congrès
    a schema:Intangible ;
    schema:name "Complexité de calcul (Informatique)--Congrès"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/4820881124#Topic/recursivite_theorie_de_la_congres> # Recursivité, Théorie de la--Congrès
    a schema:Intangible ;
    schema:name "Recursivité, Théorie de la--Congrès"@fr ;
    .

<http://id.loc.gov/authorities/subjects/sh85112012> # Recursion theory
    a schema:Intangible ;
    schema:name "Recursion theory"@en ;
    .

<http://id.worldcat.org/fast/1004846> # Machine theory
    a schema:Intangible ;
    schema:name "Machine theory"@en ;
    .

<http://id.worldcat.org/fast/1091982> # Recursion theory
    a schema:Intangible ;
    schema:name "Recursion theory"@en ;
    .

<http://id.worldcat.org/fast/849000> # Categories (Mathematics)
    a schema:Intangible ;
    schema:name "Categories (Mathematics)"@en ;
    .

<http://id.worldcat.org/fast/871991> # Computational complexity
    a schema:Intangible ;
    schema:name "Computational complexity"@en ;
    .

<http://link.springer.com/10.1007/3-540-08442-8>
    rdfs:comment "Springer Lecture Notes in Computer Science" ;
    .

<http://viaf.org/viaf/167681> # Marek Karpiński
    a schema:Person ;
    schema:birthDate "1948" ;
    schema:familyName "Karpiński" ;
    schema:givenName "Marek" ;
    schema:name "Marek Karpiński" ;
    .

<http://worldcat.org/isbn/9783540370840>
    a schema:ProductModel ;
    schema:isbn "3540370846" ;
    schema:isbn "9783540370840" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/326962935> ; # Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science ;" ;
    .

<http://www.worldcat.org/oclc/3294633>
    a schema:CreativeWork ;
    rdfs:label "Fundamentals of computation theory." ;
    schema:description "Print version:International FCT-Conference (1st : 1977 : Poznán, Poland and Kórnik, Poland)." ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/326962935> ; # Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
    .

<http://www.worldcat.org/title/-/oclc/326962935>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/326962935> ; # Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznán-Kórnik, Poland, September 19-23, 1977
    schema:dateModified "2018-10-12" ;
    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.