Category: NOVA Math Publications

NOVA Math > NOVA Math > NOVA Math Publications

The proof-theoretic analysis of transfinitely iterated fixed point theories

1999, JOURNAL OF SYMBOLIC LOGIC, Jager,G;Kahle,R;Setzer,A;Strahm,T

Read More

Frege structures for partial applicative theories

1999, JOURNAL OF LOGIC AND COMPUTATION, Kahle,R

Read More

On Applicative Theories

1999, Logic and Foundations of Mathematics, J√§ger,G;Kahle,R;Strahm,T

Read More

On equalizer flat acts

1999, SEMIGROUP FORUM, Bentz,W;Bulman Fleming,S

Read More

Topological implications in varieties

1999, ALGEBRA UNIVERSALIS, Bentz,W

Read More

Gradient method with retards and generalizations

1999, SIAM Journal on Numerical Analysis, Friedlander,A;Martínez,JM;Molina,B;Raydan,M

Read More

Oxidative stress in familial adenomatous polyposis

1999, EUROPEAN JOURNAL OF CANCER PREVENTION, Bras,A;Sanches,R;Cristovao,L;Fidalgo,P;Chagas,C;Mexia,J;Leitao,N;Rueff,J

Read More

Proof Theory in Computer Science

2001, Lecture Notes in Computer Science, Kahle,R;Schroeder-Heister,P;St√§rk,R

Read More

Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings

2001, PTCS, Kahle,R;Heister,PS;St√§rk,RF

Read More

Recursive calculation of time to ruin distributions

2002, INSURANCE MATHEMATICS & ECONOMICS, Cardoso,RMR;dos Reis,ADE

Read More