Yusuf Ozturk (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1 Yusuf Ozturk, Lawrence J. Henschen: Hyper Resolution and Equality Axioms without Function Substitutions. CADE 1990: 456-469

Selection of 1 from 9 records - Yusuf Ozturk has 8 coauthors