Dev Kumar Roy

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

3 Dev Kumar Roy: The shortest definition of a number in Peano arithmetic. Math. Log. Q. 49(1): 83-86 (2003)

1993

2 Dev Kumar Roy: Recursive versus recursively enumerable binary relations. Studia Logica 52(4): 587-594 (1993)

1983

1 Dev Kumar Roy: R.E. Presented Linear Orders. J. Symb. Log. 48(2): 369-376 (1983)

	2003
3		Dev Kumar Roy: The shortest definition of a number in Peano arithmetic. Math. Log. Q. 49(1): 83-86 (2003)
	1993
2		Dev Kumar Roy: Recursive versus recursively enumerable binary relations. Studia Logica 52(4): 587-594 (1993)
	1983
1		Dev Kumar Roy: R.E. Presented Linear Orders. J. Symb. Log. 48(2): 369-376 (1983)