Nikolai V. Krupski

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2006

2 Nikolai V. Krupski: Typing in reflective combinatory logic. Ann. Pure Appl. Logic 141(1-2): 243-256 (2006)

1 Nikolai V. Krupski: On the complexity of the reflected logic of proofs. Theor. Comput. Sci. 357(1-3): 136-142 (2006)

	2006
2		Nikolai V. Krupski: Typing in reflective combinatory logic. Ann. Pure Appl. Logic 141(1-2): 243-256 (2006)
1		Nikolai V. Krupski: On the complexity of the reflected logic of proofs. Theor. Comput. Sci. 357(1-3): 136-142 (2006)