Salwicki, Andrzej A new proof of Euclid’s algorithm. arXiv:2311.01474 Preprint, arXiv:2311.01474 [cs.LO] (2023). × Cite Format Result Cite Full Text: arXiv OA License
Salwicki, Andrzej Andrzej Grzegorczyk’s contribution to computer science. (English) Zbl 1140.01015 Fundam. Inform. 81, No. 1-3, 315-323 (2007). Reviewer: Roman Duda (Wrocław) MSC: 01A60 68-03 × Cite Format Result Cite Review PDF
Salwicki, Andrzej On a hierarchy of file types and a tower of their theories. (English) Zbl 0776.68034 Mathematical foundations of computer science, Proc. 16th Int. Symp., Kazimierz Dolny/Pol. 1991, Lect. Notes Comput. Sci. 520, 47-63 (1991). MSC: 68N99 × Cite Format Result Cite Review PDF
Salwicki, A. (ed.) Logics of programs and their applications. Proceedings, Poznan, August 23-29, 1980. (English) Zbl 0505.00022 Lecture Notes in Computer Science, 148. Berlin-Heidelberg-New York: Springer-Verlag. VI, 324 p. DM 34.00; $ 14.10 (1983). MSC: 00Bxx 68-06 × Cite Format Result Cite Review PDF
Salwicki, Andrzej Algorithmic theories of data structures. (English) Zbl 0483.68019 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 458-472 (1982). MSC: 68P05 × Cite Format Result Cite Review PDF
Salwicki, A. Critical remarks on max model of concurrency. (English) Zbl 0481.68013 Logics of programs, Workshop Yorktown Heights/NY 1981, Lect. Notes Comput. Sci. 131, 397-405 (1982). MSC: 68Q60 68N25 × Cite Format Result Cite Review PDF
Salwicki, Andrzej On the algorithmic theory of dictionaries. (English) Zbl 0469.68023 Logic of programs, Workshop, ETH Zürich 1979, Lect. Notes Comput. Sci. 125, 145-168 (1981). MSC: 68P05 68Q60 68W99 × Cite Format Result Cite Review PDF
Salwicki, Andrzej Axioms of algorithmic logic univocally determine semantics of programs. (English) Zbl 0441.68023 Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 552-561 (1980). MSC: 68Q65 68Q60 03B60 × Cite Format Result Cite Review PDF
Salwicki, Andrzej On the algorithmic theory of stacks. (English) Zbl 0441.68013 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 3, 311-331 (1980). MSC: 68P05 × Cite Format Result Cite Review PDF
Salwicki, Andrzej On algorithmic theory of stacks. (English) Zbl 0387.68027 Math. Found. Comput. Sci. 1978, Proc. 7th Symp. Zakopane, Lect. Notes Comput. Sci. 64, 452-461 (1978). MSC: 68Q65 68P05 × Cite Format Result Cite Review PDF
Salwicki, Andrzej An algorithmic approach to set theory. (English) Zbl 0403.68005 Fundam. Comput. Theory, Proc. int. Conf., Poznan-Kornik 1977, Lect. Notes Comput. Sci. 56, 499-510 (1977). MSC: 68N01 03E75 × Cite Format Result Cite Review PDF
Salwicki, A. Algorithmic logic, a tool for investigations of programs. (English) Zbl 0381.03019 Logic., Found. Math., Comput. Theory; Proc. 5th int. Congr., London/Ontario 1975, Part 1, 281-295 (1977). MSC: 03B60 68Q65 68W99 68W30 × Cite Format Result Cite Review PDF
Salwicki, Andrzej Applied algorithmic logic. (English) Zbl 0354.68048 Math. Found. Comput. Sci., Proc. 6th Symp., Tatranska Lomnica 1977, Lect. Notes Comput. Sci. 53, 122-134 (1977). MSC: 68N01 68Q25 × Cite Format Result Cite Review PDF
Salwicki, Andrzej Procedures, formal computations and models. (English) Zbl 0323.68009 Math. Found. Comput. Sci., 3rd Symp. Jadwisin 1974, Lect. Notes Comput. Sci. 28, 464-484 (1975). MSC: 68N01 × Cite Format Result Cite Review PDF
Salwicki, A. On the predicate calculi with iteration quantifiers. (English) Zbl 0198.02803 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 18, 279-285 (1970). × Cite Format Result Cite Review PDF
Salwicki, A. On the equivalence of FS-expressions and programs. (English) Zbl 0198.02802 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 18, 275-278 (1970). × Cite Format Result Cite Review PDF
Salwicki, A. Formalized algorithmic languages. (English) Zbl 0198.02801 Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. 18, 227-232 (1970). × Cite Format Result Cite Review PDF
Salwicki, A. On a certain theorem of graph theory and its application to automatic programming. (English) Zbl 0135.18402 Algorytmy 2, No. 4, 69-83 (1965). × Cite Format Result Cite Review PDF