Category: NOVA Math Publications

NOVA Math > NOVA Math > NOVA Math Publications

A general construction of Ockham algebras

1999, COMMUNICATIONS IN ALGEBRA, Silva,HJ

Read More

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

Flexibility, efficiency, and accountability: adapting reserve selection algorithms to more complex conservation problems

2000, ECOGRAPHY, Rodrigues,AS;Cerdeira,JO;Gaston,KJ

Read More

Topological implications in varieties

1999, ALGEBRA UNIVERSALIS, Bentz,W

Read More

A three-phase procedure for designing an irrigation system’s water distribution network

2000, ANNALS OF OPERATIONS RESEARCH, Goncalves,GM;Pato,MV

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

Nonmonotone spectral projected gradient methods on convex sets

2000, SIAM Journal on Optimization, Birgin,EG;Martínez,JM;Raydan,M

Read More