Smith, Einar A survey on high-level Petri-net theory. (English) Zbl 0856.68109 Bull. EATCS 59, 267-293 (1996). MSC: 68Q85 × Cite Format Result Cite Review PDF
Steacy, Robert Structure in the Kolakoski sequence. (English) Zbl 0856.68064 Bull. EATCS 59, 173-182 (1996). MSC: 68Q05 × Cite Format Result Cite Review PDF
Majster-Cederbaum, Mila; Roggenbach, Markus On two different characterizations of bisimulation. (English) Zbl 0856.68108 Bull. EATCS 59, 164-172 (1996). MSC: 68Q85 18B20 × Cite Format Result Cite Review PDF
Longpré, Luc; Kreinovich, Vladik Zeros of Riemann’s zeta function are uniformly distributed, but not random: An answer to Calude’s open problem. (English) Zbl 0856.11039 Bull. EATCS 59, 163-164 (1996). MSC: 11M26 × Cite Format Result Cite Review PDF
Honkala, Juha On the equivalence problem of algebraic series with commuting variables. (English) Zbl 0856.68060 Bull. EATCS 59, 157-162 (1996). MSC: 68Q05 68Q45 × Cite Format Result Cite Review PDF
Ó Dúnlaing, Colm Resolution proofs viewed as automata. (English) Zbl 0856.68129 Bull. EATCS 59, 153-156 (1996). MSC: 68T15 68Q45 × Cite Format Result Cite Review PDF
Bloom, Stephen L.; Ésik, Zoltán Two axiomatizations of a star semiring quasi-variety. (English) Zbl 0856.08009 Bull. EATCS 59, 150-152 (1996). MSC: 08C15 06F25 08C10 08A70 68Q45 × Cite Format Result Cite Review PDF
Reichel, Horst Unifying ADT- and evolving algebra specifications. (English) Zbl 0856.68099 Bull. EATCS 59, 112-126 (1996). MSC: 68Q65 × Cite Format Result Cite Review PDF