A note on the axiomatization of iteration theories

QR kód

A note on the axiomatization of iteration theories

Elmentve itt :

Bibliográfiai részletek
Szerző:	Ésik Zoltán
Dokumentumtípus:	Cikk
Megjelent:	1990
Sorozat:	Acta cybernetica 9 No. 4
Kulcsszavak:	Számítástechnika, Kibernetika
Tárgyszavak:	Természettudományok Számítás- és információtudomány
Online Access:	http://acta.bibl.u-szeged.hu/12482

Hasonló tételek

Axiomatizing iteration categories
Szerző: Ésik Zoltán
Megjelent: (1999)

On the complete axiomatization for prefix iteration modulo observation congruence
Szerző: Chen Taolue, et al.
Megjelent: (2006)

A note on axiomatizing flowchart schemes
Szerző: Căzănescu Virgil Emil, et al.
Megjelent: (1990)

A finite axiomatization of flowchart schemes
Szerző: Bartha Miklós
Megjelent: (1987)

Axiomatic systems in fuzzy algebra
Szerző: Drewniak J.
Megjelent: (1981)

Iterated grammars
Szerző: Csirmaz László
Megjelent: (1980)

Factored value iteration converges
Szerző: Szita István, et al.
Megjelent: (2008)

About the axiomatization of first- and second-order spatio-temporal logics [abstract] /
Szerző: Vályi Sándor
Megjelent: (2000)

Affine iterations and wrapping effect various approaches /
Szerző: Revol Nathalie
Megjelent: (2023)

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)

A note on α*0 -products of aperiodic automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1987)

Partial iteration theories
Szerző: Hajgató Tamás
Megjelent: (2014)

A note on deadlocks
Szerző: Laborczi Zoltán
Megjelent: (1979)

Iterációs eljárás a számítógépes szcintigráfiában [Iteration method in the computerized scintigraphy]
Szerző: Csernay László, et al.
Megjelent: (1972)

Toward the development of iteration procedures for the interval-based simulation of fractional-order systems
Szerző: Rauh Andreas, et al.
Megjelent: (2021)

A note on zero-congruences
Szerző: Bloom Stephen L., et al.
Megjelent: (1987)

A note on the star-product
Szerző: Imreh Balázs, et al.
Megjelent: (1999)

Note on the work function algorithm
Szerző: Csaba Béla
Megjelent: (2000)

Iterative method for solving M/G/l//N-type loops with priority queues
Szerző: Szép András
Megjelent: (1986)

A note on data base integrity
Szerző: Benczúr András, et al.
Megjelent: (1977)

A note on symmetric Boolean functions
Szerző: Ecsedi-Tóth Péter, et al.
Megjelent: (1977)

A note on fully initial grammars
Szerző: Vicolov Sorina
Megjelent: (1991)

A note on intersections of isotone clones
Szerző: Demetrovics János, et al.
Megjelent: (1992)

Note on the cardinality of some sets of clones
Szerző: Pantović Jovanka, et al.
Megjelent: (2000)

On some open problems of applied automaton theory and graph theory suggested by the mathematical modelling of certain neuronal networks /
Szerző: Ádám András
Megjelent: (1977)

Radical theory for group semiautomata
Szerző: Fong Yuen, et al.
Megjelent: (1994)

An arithmetic theory of consistency enforcement
Szerző: Link Sebastian, et al.
Megjelent: (2002)

A note on optimal performance of page storage
Szerző: Arató Mátyás
Megjelent: (1976)

A note on the interconnection structure of cellular networks
Szerző: Defeé I. H.
Megjelent: (1982)

A note on the generalized v1-product
Szerző: Imreh Balázs
Megjelent: (1988)

Zur Theorie kommutativer Automaten
Szerző: Duske Jürgen
Megjelent: (1976)

A note on connection between PNS and set covering problems
Szerző: Blázsik Zoltán, et al.
Megjelent: (1996)

Strategy selection in the resolution theory [abstract] /
Szerző: Jánvári Gusztáv
Megjelent: (2000)

A note on regular strongly shuffle-closed languages
Szerző: Imreh Balázs, et al.
Megjelent: (1994)

A note on decidability of reachability for conditional Petri nets
Szerző: Țiplea Ferucio Laurenţiu, et al.
Megjelent: (2000)

Different methodological approaches of game theory [absztrakt] /
Szerző: Kuba Péter
Megjelent: (2009)

Logical foundations for a general theory of systems
Szerző: Gergely Tamás, et al.
Megjelent: (1975)

A classification scheme for bin packing theory
Szerző: Coffman Edward G., et al.
Megjelent: (2007)

A note on the emptiness of intersection problem for left Szilárd languages
Szerző: Mäkinen Erkki
Megjelent: (2016)

Notes on the properties of dynamic programming used in direct load control
Szerző: Aho Isto
Megjelent: (2004)