dblp.uni-trier.dewww.uni-trier.de

Anna Chmielinska

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1982
2 Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn: Another Incompleteness Result for Hoare's Logic Information and Control 52(2): 159-171 (1982)
1981
1 Jan A. Bergstra, Anna Chmielinska, Jerzy Tiuryn: Hoare's Logic is Incomplete When It Does Not Have To Be. Logic of Programs 1981: 9-23

Coauthor Index

1Jan A. Bergstra [1] [2]
2Jerzy Tiuryn [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)