F. Nourani

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1983

2 F. Nourani: Abstract Models for Types, Induction, and Proofs. ADT 1983

1 F. Nourani: Forcing with Universal Sentences and Genericity of Inductive Closures. ADT 1983

1983
2		F. Nourani: Abstract Models for Types, Induction, and Proofs. ADT 1983
1		F. Nourani: Forcing with Universal Sentences and Genericity of Inductive Closures. ADT 1983