Nikolai V. Krupski

List of publications from the DBLP Bibliography Server - FAQ

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

2006

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

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

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