Wolfgang Burr Functional interpretation of Aczel's constructive set theory. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:31-73 [Journal]
Lex Hendriks Doing logic b computer: interpolation in fragments ofinstuitionistic propositional logic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:97-112 [Journal]
Martin Hofmann Safe recursion with higher types and BCK-algebra. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:113-166 [Journal]
Grigori Mints Reduction of finite and infinite derivations. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:167-188 [Journal]
Hans de Nivelle Deciding the E+ - class by an a posteriori, liftable order. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:219-232 [Journal]
Chris Pollett Multifunction algebras and the provability of PH. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:279-302 [Journal]
Thomas Strahm The non-constructive mu operator, fixed point theories with ordinals, and the bar rule. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:305-324 [Journal]
Luca Trevisan Interactive and probabilistic proof-checking. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2000, v:104, n:1-3, pp:325-342 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP