Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Arithmetical completeness versus relative completeness.. Stud Logica, 47 (3): 213-220 (1988)Open Problems Related to Axiomatic Descriptions of Programs.. Elektronische Informationsverarbeitung und Kybernetik, 25 (11/12): 619-624 (1989)On Relative Completeness of Programming Logics.. POPL, page 258-261. ACM Press, (1984)Some model-theoretical properties of logic for programs with random control.. Logic of Programs, volume 148 of Lecture Notes in Computer Science, page 148-155. Springer, (1980)New Heuristics for TCP Retransmission Timers., , and . CORES, volume 977 of Advances in Intelligent Systems and Computing, page 117-129. Springer, (2019)A Variant of the K-Means Clustering Algorithm for Continuous-Nominal Data., and . CORES, volume 403 of Advances in Intelligent Systems and Computing, page 17-26. Springer, (2015)A Technique for Learning Similarities on Complex Structures with Applications to Extracting Ontologies., and . AWIC, volume 3528 of Lecture Notes in Computer Science, page 183-189. Springer, (2005)Numerical Coding of Nominal Data, and . Zeszyty Naukowe WWSI, 9 (12): 53-61 (2016)cite arxiv: 1601.01966 Comment: 9 pages.A Remark on Equivalence of Mazurkiewicz's Finite-Control Algorithms over Nets.. MFCS, volume 45 of Lecture Notes in Computer Science, page 311-316. Springer, (1976)Dynamic Theories of Real and Complex Numbers., and . MFCS, volume 64 of Lecture Notes in Computer Science, page 239-249. Springer, (1978)