On the weak equivalence of Elgot's flow-chart schemata

QR kód

On the weak equivalence of Elgot's flow-chart schemata

Elmentve itt :

Bibliográfiai részletek
Szerző:	Ésik Zoltán
Dokumentumtípus:	Cikk
Megjelent:	1985
Sorozat:	Acta cybernetica 7 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/12383

Hasonló tételek

Mixed computation in the class of recursive program schemata
Szerző: Ershov Andrei P.
Megjelent: (1978)

On metric equivalence of vi-products
Szerző: Gécseg Ferenc, et al.
Megjelent: (1987)

Equivalence of Mealy and Moore automata
Szerző: Babcsányi István
Megjelent: (2000)

On the equivalence of candidate keys with Sperner systems
Szerző: Demetrovics János
Megjelent: (1979)

Weak dependecnies [!dependencies] in the relational datamodel
Szerző: Thi Vu Duc, et al.
Megjelent: (1991)

Weak functional dependencies on trees with restructuring
Szerző: Sali Attila, et al.
Megjelent: (2011)

On the equivalence of the frontier-to-root tree transducers I.
Szerző: Zachar Z.
Megjelent: (1985)

On the equivalence of the frontier-to-root tree transducers II.
Szerző: Zachar Z.
Megjelent: (1985)

Mealy-automata in which the output-equivalence is a congruence
Szerző: Babcsányi István, et al.
Megjelent: (1994)

Correction - Mealy-automata in which the output-equivalence is a congruence I. Babcsányi, A. Nagy /
Szerző: Fülöp Zoltán
Megjelent: (1995)

Hexagonal polyomino weak (1,2)-achievement games
Szerző: Sieben Nándor
Megjelent: (2004)

Computing equivalent affinity classes in a fuzzy connectedness framework
Szerző: Gulyás Gergely, et al.
Megjelent: (2014)

The solvability of the equivalence problem for deterministic frontier-to-root tree transducers
Szerző: Zachar Z.
Megjelent: (1979)

Analysis of data flow for SIMD systems
Szerző: Klette Reinhard
Megjelent: (1984)

Variations of the Morse-Hedlund theorem for k-abelian equivalence
Szerző: Karhumäki Juhani, et al.
Megjelent: (2017)

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

Computing equivalent affinity classes in a fuzzy connectedness framework
Szerző: Gulyás Gergely, et al.
Megjelent: (2014)

New descriptions of the Lovász number, and the weak sandwich theorem
Szerző: Ujvári Miklós
Megjelent: (2012)

Improved QR code localization using boosted cascade of weak classifiers
Szerző: Bodnár Péter, et al.
Megjelent: (2015)

Parameter estimation of flow-measurement in digital angiography
Szerző: Veress Krisztián, et al.
Megjelent: (2011)

Dominant schedules of a steady job-flow pair
Szerző: Tankó József
Megjelent: (1980)

Priority schedules of a steady job-flow pair
Szerző: Tankó József
Megjelent: (1981)

Relationships between closure operations and choice functions - equivalent descriptions of a family of functional dependencies
Szerző: Vu Nghia D.
Megjelent: (2004)

The analysis of signal flow graph containing sampled-data elements
Szerző: Pávó Imre
Megjelent: (1985)

Identification of the place and materials of knocking objects in flow induced vibration
Szerző: Dobján Tibor, et al.
Megjelent: (2011)

Topology-Preserving Equivalent Parallel and Sequential 4-Subiteration 2D Thinning Algorithms
Szerző: Palágyi Kálmán, et al.
Megjelent: (2015)

Distributed scalability tuning for evolutionary sharding optimization with Random-equivalent security in permessionless Blockchain
Szerző: Baniata Hamza, et al.
Megjelent: (2023)

Call graph and data flow analysis of a dynamic functional language [abstract] /
Szerző: Nagy Tamás, et al.
Megjelent: (2008)

Identification of the place and materials of knocking objects in flow induced vibration [abstract] /
Szerző: Dobján Tibor, et al.
Megjelent: (2010)

Designing and implementing control flow graph for magic 4th generation language
Szerző: Dévai Richárd, et al.
Megjelent: (2014)

Towards analyzing the influence of measurement errors in magnetic resonance imaging of fluid flows development of an interval-based /
Szerző: John Kristine, et al.
Megjelent: (2020)

On two problems of A. Salomaa
Szerző: Ésik Zoltán
Megjelent: (1976)

Decidability results concerning tree transducers I
Szerző: Ésik Zoltán
Megjelent: (1980)

Deterministic ascending tree automata II
Szerző: Ésik Zoltán
Megjelent: (1983)

Loop products and loop-free products
Szerző: Ésik Zoltán
Megjelent: (1987)

On isomorphic realization of automata with α0-products
Szerző: Ésik Zoltán
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)

Preface
Szerző: Ésik Zoltán
Megjelent: (2006)

A számítástudomány alapjai előadásanyagok /
Szerző: Ésik Zoltán
Megjelent: (2015)