Wierzchoń, S. T.; Kłotopek, M. A.; Michalewicz, M. Reasoning and facts explanation in valuation based systems. (English) Zbl 0881.68054 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3-4, 359-371 (1997). MSC: 68W10 68T35 PDFBibTeX XMLCite \textit{S. T. Wierzchoń} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3--4, 359--371 (1997; Zbl 0881.68054) Full Text: arXiv
Pettorossi, Alberto; Skowron, Andrzej The lambda abstraction strategy for program derivation. (English) Zbl 0686.68014 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 4, 541-561 (1989). Reviewer: D.Tatar MSC: 68Q60 68N01 68W30 68W99 PDFBibTeX XMLCite \textit{A. Pettorossi} and \textit{A. Skowron}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 4, 541--561 (1989; Zbl 0686.68014)
Batarekh, Aida; Subrahmanian, V. S. Topological model set deformations in logic programming. (English) Zbl 0686.03013 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 3, 357-399 (1989). Reviewer: G.Mints MSC: 03B70 03C99 68N01 PDFBibTeX XMLCite \textit{A. Batarekh} and \textit{V. S. Subrahmanian}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 3, 357--399 (1989; Zbl 0686.03013)
Hoare, C. A. R.; He, Jifeng The weakest prespecification. I. (English) Zbl 0603.68009 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 51-84 (1986). MSC: 68Q60 68N01 68W99 PDFBibTeX XMLCite \textit{C. A. R. Hoare} and \textit{J. He}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 9, 51--84 (1986; Zbl 0603.68009)
Danko, Wiktor Definability in algorithmic logic. (English) Zbl 0453.03026 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 277-287 (1979). MSC: 03B60 03C40 68Q60 68W99 68Q65 68N01 PDFBibTeX XMLCite \textit{W. Danko}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 277--287 (1980; Zbl 0453.03026)
Janicki, Ryszard Some remarks on deterministic Mazurkiewicz algorithms and languages associated with them. (English) Zbl 0445.68023 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 65-75 (1980). MSC: 68W99 68Q45 68N99 PDFBibTeX XMLCite \textit{R. Janicki}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 65--75 (1980; Zbl 0445.68023)
Grabowski, Michal The algebraic properties of nets from a program-theoretical point of view. (English) Zbl 0404.68045 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 83-101 (1978). MSC: 68W99 68Q65 68N01 68Q45 PDFBibTeX XMLCite \textit{M. Grabowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 2, 83--101 (1978; Zbl 0404.68045)
Müldner, Tomasz; Salwicki, Andrzej Computational processes generated by programs with (recursive) procedures and block structures. (English) Zbl 0386.68007 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 305-323 (1978). MSC: 68N01 68Q65 68W99 03D60 PDFBibTeX XMLCite \textit{T. Müldner} and \textit{A. Salwicki}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 305--323 (1978; Zbl 0386.68007)
Mirkowska, Grazyna Algorithmic logic and its applications in the theory of programs. II. (English) Zbl 0384.68010 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 147-165 (1977). MSC: 68N01 68Q65 03B60 68W99 PDFBibTeX XMLCite \textit{G. Mirkowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 147--165 (1977; Zbl 0384.68010)
Kreczmar, Antoni Programmability in fields. (English) Zbl 0364.68025 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 195-230 (1977). MSC: 68N01 68W99 03D99 PDFBibTeX XMLCite \textit{A. Kreczmar}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 1, 195--230 (1977; Zbl 0364.68025)