NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (3)

cs.LO2013

Index sets for Finite Normal Predicate Logic Programs

D. Cenzer, V. W. Marek, J. B. Remmel

math.LO2008

Effective categoricity of equivalence Structures

W. Calvert, D. Cenzer, V. S. Harizanov +1

math.LO2008

Effective categoricity of Abelian p-groups

W. Calvert, D. Cenzer, V. S. Harizanov +1