Browse by cikk, tanulmány, mű

1987

Bartha Miklós: A finite axiomatization of flowchart schemes. In: Acta cybernetica, (8) 2. pp. 203-217. (1987)

Bloom Stephen L. and Tindell Ralph: A note on zero-congruences. In: Acta cybernetica, (8) 1. pp. 1-4. (1987)

Bérard Béatrice: Formal properties of literal shuffle. In: Acta cybernetica, (8) 1. pp. 27-39. (1987)

Csirik János and Galambos Gábor: On the expected behaviour of the NF algorithm for a dual bin-packing problem. In: Acta cybernetica, (8) 1. pp. 5-9. (1987)

Fülöp Zoltán and Vágvölgyi Sándor: Results on compositions of deterministic root-to-frontier tree transformations. In: Acta cybernetica, (8) 1. pp. 49-61. (1987)

Gyimóthy Tibor and Toczki János: Syntactic pattern recognition in the HLP/PAS system. In: Acta cybernetica, (8) 1. pp. 79-88. (1987)

Gécseg Ferenc and Imreh Balázs: On metric equivalence of vi-products. In: Acta cybernetica, (8) 2. pp. 129-134. (1987)

Gécseg Ferenc and Imreh Balázs: On αi-product of tree automata. In: Acta cybernetica, (8) 2. pp. 135-141. (1987)

Katsura Masashi and Ádám András: On a problem of Ádám concerning precodes assigned to finite Moore automata. In: Acta cybernetica, (8) 2. pp. 143-151. (1987)

Kudrâvcev Valerij B.: On the supplement of sets in functional systems. In: Acta cybernetica, (8) 1. pp. 11-26. (1987)

Meduna Alexander: Evaluated grammars. In: Acta cybernetica, (8) 2. pp. 169-176. (1987)

Neumüller Imre: The invertibility of tree transducers. In: Acta cybernetica, (8) 1. pp. 63-78. (1987)

Nguyen Huu Chien: EBE: a language for specifying the expected behavior of programs during debugging. In: Acta cybernetica, (8) 2. pp. 177-190. (1987)

Riedewald Guenter and Forbig Peter: Software specification methods and attribute grammars. In: Acta cybernetica, (8) 1. pp. 89-114. (1987)

Thi Vu Duc: Strong dependencies and s-semilattices. In: Acta cybernetica, (8) 2. pp. 195-202. (1987)

Thuan Ho: Some remarks on the algorithm of Lucchesi and Osborn. In: Acta cybernetica, (8) 2. pp. 191-193. (1987)

Vágvölgyi Sándor and Fülöp Zoltán: An infinite hierarchy of tree transformations in the class NDR. In: Acta cybernetica, (8) 2. pp. 153-168. (1987)

Âkovlev S. V.: O veroâtnostnyh metodah optimizacii na diskretnyh množestvah. In: Acta cybernetica, (8) 2. pp. 219-226. (1987)

Ésik Zoltán: Loop products and loop-free products. In: Acta cybernetica, (8) 1. pp. 45-48. (1987)

Ésik Zoltán: On isomorphic realization of automata with α0-products. In: Acta cybernetica, (8) 2. pp. 119-127. (1987)

Ésik Zoltán and Virágh János: A note on α*0 -products of aperiodic automata. In: Acta cybernetica, (8) 1. pp. 41-43. (1987)