A finite axiomatization of flowchart schemes

QR kód

A finite axiomatization of flowchart schemes

Elmentve itt :

Bibliográfiai részletek
Szerző:	Bartha Miklós
Dokumentumtípus:	Cikk
Megjelent:	1987
Sorozat:	Acta cybernetica 8 No. 2
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/12433

Hasonló tételek

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

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

A note on the axiomatization of iteration theories
Szerző: Ésik Zoltán
Megjelent: (1990)

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

An approach to automata schemes synthesis
Szerző: Podkolzin Aleksandr Sergeevič, et al.
Megjelent: (1988)

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

Some problems concerning Armstrong relations of dual schemes and relation schemes in the relational datamodel
Szerző: Demetrovics János, et al.
Megjelent: (1993)

Normal form relation schemes a new characterization /
Szerző: Demetrovics János, et al.
Megjelent: (1992)

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

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

Covering morphisms and unique minimal D-schemes
Szerző: Tindell Ralph
Megjelent: (1991)

Two content protection schemes for digital items
Szerző: Steinby Paula
Megjelent: (2003)

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

Extensions and applicability of the membership driven reasoning scheme [abstract] /
Szerző: Gera Zsolt
Megjelent: (2006)

On injective attributed characterization of 2-way deterministic finite state transducers
Szerző: Bartha Miklós
Megjelent: (1984)

Classifier combination schemes in speech impediment therapy systems
Szerző: Paczolay Dénes, et al.
Megjelent: (2005)

Classifier combination schemes in speech impediment therapy systems [abstract] /
Szerző: Paczolay Dénes, et al.
Megjelent: (2004)

On finite definite automata
Szerző: Imreh Balázs
Megjelent: (1985)

Congruences on finite automata [abstract] /
Szerző: Popović Zarko
Megjelent: (2000)

On certain partitions of finite directed graphs and of finite automata
Szerző: Ádám András
Megjelent: (1984)

A theory of finite functions, part I. on finite trees associated to certain finite functions /
Szerző: Ecsedi-Tóth Péter
Megjelent: (1983)

On complexity of finite Moore automata
Szerző: Katsura Masashi
Megjelent: (1986)

Finitely presentable tree series
Szerző: Bozapalidis Symeon, et al.
Megjelent: (2006)

Self-regulating finite automata
Szerző: Meduna Alexander, et al.
Megjelent: (2007)

Automata with finite congruence lattices
Szerző: Babcsányi István
Megjelent: (2007)

On finite nilpotent automata
Szerző: Imreh Balázs
Megjelent: (1981)

Principal varieties of finite congruences [abstract] /
Szerző: Piirainen Ville
Megjelent: (2008)

On the projection onto a finitely generated cone
Szerző: Ujvári Miklós
Megjelent: (2016)

On the semigroup of automaton mappings with finite alphabet
Szerző: Dömösi Pál
Megjelent: (1972)

Representation of automaton mappings in finite length
Szerző: Gécseg Ferenc
Megjelent: (1976)

On the congruences of finite autonomous Moore automata
Szerző: Ádám András
Megjelent: (1986)

On DOL systems with finite axiom sets
Szerző: Honkala Juha
Megjelent: (2003)

Holonomy decomposition of finite state automata [abstract] /
Szerző: Egri-Nagy Attila, et al.
Megjelent: (2004)

On continuity preserving weighted finite transducers [abstract] /
Szerző: Steinby Paula
Megjelent: (2004)

A partial solution of the finite spectrum problem
Szerző: Ecsedi-Tóth Péter
Megjelent: (1985)

The complexity of a counting finite state automaton
Szerző: Rich Craig A., et al.
Megjelent: (1990)

A criterion for the simplicity of finite Moore automata
Szerző: Ádám András
Megjelent: (1992)

Languages recognized by a class of finite automata
Szerző: Kelarev Andrej V., et al.
Megjelent: (2001)

Remarks on finite commutative automata
Szerző: Ésik Zoltán, et al.
Megjelent: (1981)

On minimal incomplete R-systems of finite automata
Szerző: Dömösi Pál
Megjelent: (1976)