Valery Plisko

List of publications from the DBLP Bibliography Server - FAQ

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

2006

2 EE Valery Plisko: On Primitive Recursive Realizabilities. CSR 2006: 304-312

2001

1 Valery Plisko: Arithmetic complexity of the predicate logics of certain complete arithmetic theories. Ann. Pure Appl. Logic 113(1-3): 243-259 (2001)

2006
2	EE	Valery Plisko: On Primitive Recursive Realizabilities. CSR 2006: 304-312
2001
1		Valery Plisko: Arithmetic complexity of the predicate logics of certain complete arithmetic theories. Ann. Pure Appl. Logic 113(1-3): 243-259 (2001)