Anna Chmielinska

Publication Activity (10 Years)

Years Active: 1981-2023
Publications (10 Years): 1

Top Topics

Hypothesis Verification

Digital Libraries

Top Venues

Publications

Boguslaw Pawlowski, Anna Chmielinska
Kin term mimicry hypothesis. Theory Biosci. 142 (3) (2023)
Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn
Another Incompleteness Result for Hoare's Logic Inf. Control. 52 (2) (1982)
Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn
Hoare's Logic is Incomplete When It Does Not Have To Be. Logic of Programs (1981)