Kelleen R. Hurlburt

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1992

1 Kelleen R. Hurlburt: Sufficiency Conditions for Theories with Recursive Models. Ann. Pure Appl. Logic 55(3): 305-320 (1992)