LEADER 03523nam  22005775  450 
001 996465536303316
005 20200702003918.0
010   $a3-540-37426-4
024 7 $a10.1007/3-540-07142-3
035   $a(CKB)1000000000229734
035   $a(SSID)ssj0000321781
035   $a(PQKBManifestationID)11231369
035   $a(PQKBTitleCode)TC0000321781
035   $a(PQKBWorkID)10280056
035   $a(PQKB)10883826
035   $a(DE-He213)978-3-540-37426-8
035   $a(PPN)155194194
035   $a(EXLCZ)991000000000229734
100   $a20121227d1975      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aCategory Theory Applied to Computation and Control$b[electronic resource] $eProceedings of the First International Symposium, San Francisco, February 25-26, 1974 /$fedited by E.G. Manes
205   $a1st ed. 1975.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1975.
215   $a1 online resource (XII, 248 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v25
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-07142-3 
327   $aBasic concepts of category theory applicable to computation and control -- A control theorist looks at abstract nonsense -- A Categorist's view of automata and systems -- Categorical theory of tree processing -- Realization of multilinear and multidecomposable machines -- Fuzzy morphishms in automata theory -- Time-varying systems -- Addressed machines and duality -- Factorization of scott-style automata -- An abstract machine theory for formal language parsers -- Some structural properties of automata defined on groups -- Automata in additive categories with applications to stochastic linear automata -- The algebraic theory of recursive program schemes -- Realization is continuously universal -- Diagram-characterization of recursion -- Power and initial automata in pseudoclosed categories -- Semantics of computation -- Scattering theory and non linear systems -- Synthesis and complexity of logical systems -- Strukturelle verwandtschaften von Semi-Thue-Systemen -- Control of linear continuous-time systems defined over rings of distributions -- Cellular automata with additive local transition -- Automata in semimodule categories -- Representation of a class of nonlinear systems -- Duals of input/output maps -- An algebraic formulation of the Chomsky hierarchy -- On the recursive specification of data types -- Linear systems over rings of operators -- The tricotyledon theory of system design.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v25
606   $aTopology
606   $aComputers
606   $aK-theory
606   $aTopology$3https://scigraph.springernature.com/ontologies/product-market-codes/M28000
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aK-Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/M11086
615  0$aTopology.
615  0$aComputers.
615  0$aK-theory.
615 14$aTopology.
615 24$aComputation by Abstract Devices.
615 24$aK-Theory.
676   $a514
702   $aManes$b E.G$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465536303316
996   $aCategory theory applied to computation and control$9339740
997   $aUNISA