Anna Chmielinska

According to our database, Anna Chmielinska authored at least 3 papers between 1981 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Kin term mimicry hypothesis.

Boguslaw Pawlowski, Anna Chmielinska

Theory Biosci., September, 2023

1982

Another Incompleteness Result for Hoare's Logic

Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn

Inf. Control., February, 1982

1981

Hoare's Logic is Incomplete When It Does Not Have To Be.

Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981