Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
1
views
5
references
Top references
cited by
0
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,599
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Category Theory Applied to Computation and Control
Synthesis and complexity of logical systems
other
Author(s):
Hans-Jürgen Hoehnke
Publication date
(Online):
May 24 2005
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Socioecological systems
Most cited references
5
Record
: found
Abstract
: not found
Article
: not found
Heterogeneous algebras
John Lipson
,
Garrett Birkhoff
(1970)
0
comments
Cited
32
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Algebras with a Scheme of Operators
Philip J Higgins
(1963)
0
comments
Cited
14
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Postsche Algebren Von Funktionen Über Einer Familie Endlicher Mengen
Reinhard Pöschel
(1973)
0
comments
Cited
2
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
1975
Publication date (Online):
May 24 2005
Pages
: 170-173
DOI:
10.1007/3-540-07142-3_77
SO-VID:
c51d62ba-4b64-4321-9e0a-941adb9bb022
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Basic concepts of category theory applicable to computation and control
pp. 1
On the teaching of programming, i.e. on the teaching of thinking
pp. 1
Einleitung
pp. 11
I. Zeitlich beschränkte Turingmaschinen und polynomiale Reduktion
pp. 35
A control theorist looks at abstract nonsense
pp. 20
II. Polynomial beschränkte nichtdeterministische Turingmaschinen und die Vollständigkeit des aussagelogischen Erfüllungsproblems
pp. 43
On-the-fly darbage collection: an exercise in cooeration
pp. 51
A Categorist's view of automata and systems
pp. 36
III. Probleme, die zum Erfüllungsproblem der Aussagenlogik polynomial äquivalent sind
pp. 57
An exercise in proving parallel programs correct
pp. 65
Categorical theory of tree processing
pp. 73
Realization of multilinear and multidecomposable machines
pp. 82
The programming language concurrent pascal
pp. 111
Guarded commands, non-determinacy and a calculus for the derivation of programs
pp. 72
V. Ein polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme
pp. 80
Fuzzy morphishms in automata theory
pp. 125
Program production by successive transformation
pp. 86
VI. Polynomiale Transformationen und Auswahlaxiom
pp. 87
Time-varying systems
pp. 153
Programming as an evolutionary process
pp. 93
Addressed machines and duality
pp. 127
VIII. Untere Schranken für die Komplexität log. Entscheidungsprobleme
pp. 183
Proof of correctness of data representations
pp. 99
Factorization of scott-style automata
pp. 106
An abstract machine theory for formal language parsers
pp. 138
IX. Ein Entscheidungsverfahren für die Theorie der reell-abgeschlossenen Körper
pp. 194
A philosophy of programming
pp. 163
X. Simulation von Turingmaschinen mit logischen Netzen
pp. 119
Automata in additive categories with applications to stochastic linear automata
pp. 182
XI. Längen von Formeln
pp. 266
Language aspects in operating systems
pp. 126
The algebraic theory of recursive program schemes
pp. 293
Structured programming in the basic layers of an operating system
pp. 132
Realization is continuously universal
pp. 345
A time-wise hierarchy imposed upon the use of a two-level store
pp. 137
Diagram-characterization of recursion
pp. 358
Problems in many-language systems
pp. 144
Power and initial automata in pseudoclosed categories
pp. 164
Scattering theory and non linear systems
pp. 170
Synthesis and complexity of logical systems
pp. 174
Strukturelle verwandtschaften von Semi-Thue-Systemen
pp. 180
Control of linear continuous-time systems defined over rings of distributions
pp. 186
Cellular automata with additive local transition
pp. 193
Automata in semimodule categories
pp. 199
Representation of a class of nonlinear systems
pp. 204
Duals of input/output maps
pp. 209
An algebraic formulation of the Chomsky hierarchy
pp. 214
On the recursive specification of data types
pp. 218
Linear systems over rings of operators
pp. 224
The tricotyledon theory of system design
Similar content
2,599
Advanced fuzzy logic controllers design and evaluation for buildings’ occupants thermal–visual comfort and indoor air quality satisfaction
Authors:
E. Antonidakis
,
K Kalaitzakis
,
G.S. Stavrakakis
…
An organic jelly made fractal logic gate with an infinite truth table
Authors:
Subrata Ghosh
,
Daisuke Fujita
,
Anirban Bandyopadhyay
The Logic of Decision
Authors:
R. Jeffrey
,
C. Jeffrey R.
,
R Jeffrey
…
See all similar