A note on axiomatizing flowchart schemes

QR kód

A note on axiomatizing flowchart schemes

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Căzănescu Virgil Emil Ştefănescu Gheorghe
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/12479

Hasonló tételek

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

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

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

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)

Initial and final congruences
Szerző: Căzănescu Virgil Emil, et al.
Megjelent: (1992)

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)

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)

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

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)

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)

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)

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

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)

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

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

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

Semantics of flowchart programs and the free Conway theories
Szerző: Bernátsky László, et al.
Megjelent: (1998)

A note on the equivalence of the set covering and process network synthesis problems
Szerző: Imreh Balázs, et al.
Megjelent: (2000)

Notes on maximal congruence relations, automata and related topics
Szerző: Andréka Hajnal, et al.
Megjelent: (1973)

Axiomatic characterization of Ξ-semirings
Szerző: Lee Sin-Min
Megjelent: (1971)

Parallel communicating grammar systems recent results, open problems /
Szerző: Păun Gheorghe
Megjelent: (1996)