Goeman, H. J. M.; Groenewegen, L. P. J.; Kleijn, H. C. M.; Rozenberg, G. Constrained Petri nets. II. Generalizations and extensions. (English) Zbl 0582.68031 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 333-374 (1983). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. J. M. Goeman} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 333--374 (1983; Zbl 0582.68031)
Goeman, H. J. M.; Groenewegen, L. P. J.; Kleijn, H. C. M.; Rozenberg, G. Constrained Petri nets. (English) Zbl 0582.68030 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 81-125 (1983). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. J. M. Goeman} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 81--125 (1983; Zbl 0582.68030)
Skandalis, Kostas Programmability in the set of real numbers and second-order recursion. (English) Zbl 0561.03022 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 257-274 (1983). Reviewer: L.Brim MSC: 03D20 03F60 68Q65 03B60 PDF BibTeX XML Cite \textit{K. Skandalis}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 257--274 (1983; Zbl 0561.03022)
Dańko, Wiktor Interpretability of algorithmic theories. (English) Zbl 0559.68048 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 217-233 (1983). Reviewer: A.Kreczmar MSC: 68Q65 68Q60 03B60 PDF BibTeX XML Cite \textit{W. Dańko}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 217--233 (1983; Zbl 0559.68048)
Jaegermann, Michał; Lipski, Witold jun. Numerical queries in incomplete information data bases. (English) Zbl 0535.68044 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 375-391 (1983). MSC: 68P20 PDF BibTeX XML Cite \textit{M. Jaegermann} and \textit{W. Lipski jun.}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 375--391 (1983; Zbl 0535.68044)
Lipski, Witold jun. Generalizations of the consecutive ones property and related NP-complete problems. (English) Zbl 0534.68030 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 53-69 (1983). MSC: 68Q25 68P05 68P20 PDF BibTeX XML Cite \textit{W. Lipski jun.}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 53--69 (1983; Zbl 0534.68030)
Burkhard, Hans-Dieter Control of Petri nets by finite automata. (English) Zbl 0531.68014 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 185-215 (1983). MSC: 68Q85 PDF BibTeX XML Cite \textit{H.-D. Burkhard}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 185--215 (1983; Zbl 0531.68014)
Bertoni, Alberto; Mauri, Giancarlo; Miglioli, Pierangelo On the power of model theory in specifying abstract data types and in capturing their recursiveness. (English) Zbl 0529.68008 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 127-170 (1983). MSC: 68P05 03C07 03C57 03G30 PDF BibTeX XML Cite \textit{A. Bertoni} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 127--170 (1983; Zbl 0529.68008)
Orlicki, Andrzej On effective numberings of effective definitional schemes. (English) Zbl 0527.03024 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 235-245 (1983). MSC: 03D45 03D60 PDF BibTeX XML Cite \textit{A. Orlicki}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 235--245 (1983; Zbl 0527.03024)
Eberbach, Eugeniusz Algorithms with possibilities of selflearning and selfmodification. (English) Zbl 0525.68049 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 1-44 (1983). MSC: 68T05 68W99 PDF BibTeX XML Cite \textit{E. Eberbach}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 1--44 (1983; Zbl 0525.68049)
Pasztor, Ana Chain-continuous algebras. A variety of partial algebras. (English) Zbl 0524.08009 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 275-288 (1983). MSC: 08C05 08A55 08A65 PDF BibTeX XML Cite \textit{A. Pasztor}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 275--288 (1983; Zbl 0524.08009)
Sadowski, Zenon On connections between parallel programs and nondeterministic sequential programs. (English) Zbl 0523.68018 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 171-183 (1983). MSC: 68Q60 PDF BibTeX XML Cite \textit{Z. Sadowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 171--183 (1983; Zbl 0523.68018)
Novotny, Miroslav; Pawlak, Zdzislaw On a representation of rough sets by means of information systems. (English) Zbl 0522.68094 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 289-296 (1983). MSC: 68P20 03E99 PDF BibTeX XML Cite \textit{M. Novotny} and \textit{Z. Pawlak}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 289--296 (1983; Zbl 0522.68094)
Orlowska, Ewa Dependencies of attributes in Pawlak’s information systems. (English) Zbl 0522.68093 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 247-256 (1983). MSC: 68P20 03B05 PDF BibTeX XML Cite \textit{E. Orlowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 247--256 (1983; Zbl 0522.68093)
Novotny, Miroslav Remarks on sequents defined by means of information systems. (English) Zbl 0522.68092 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 71-79 (1983). MSC: 68P20 03B05 PDF BibTeX XML Cite \textit{M. Novotny}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 71--79 (1983; Zbl 0522.68092)
Imielinski, Tomasz A note on minimization of the set of attributes. (English) Zbl 0522.68091 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 45-51 (1983). MSC: 68P20 PDF BibTeX XML Cite \textit{T. Imielinski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 45--51 (1983; Zbl 0522.68091)
Danko, Wiktor An interpretability approach to the theory of abstract data types. (English) Zbl 0522.68028 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 297-332 (1983). MSC: 68P05 PDF BibTeX XML Cite \textit{W. Danko}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 6, 297--332 (1983; Zbl 0522.68028)