NOVA Math

Home NOVA Math

NOVA Math

Frege structures for partial applicative theories

1999, JOURNAL OF LOGIC AND COMPUTATION, Kahle,R

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

A general construction of Ockham algebras

1999, COMMUNICATIONS IN ALGEBRA, Silva,HJ

Read More

The covering number of elements of a matroid and associated transformations

1999, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R

Read More

The two dimensional Euler equation: A statistical study

1999, COMMUNICATIONS IN MATHEMATICAL PHYSICS, Cipriano,F

Read More

Flows associated to tangent processes on the Wiener space

1999, JOURNAL OF FUNCTIONAL ANALYSIS, Cipriano,F;Cruzeiro,AB

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

Proof Theory in Computer Science

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

Read More

Universes in explicit mathematics

2001, ANNALS OF PURE AND APPLIED LOGIC, Jager,G;Kahle,R;Studer,T

Read More

A division theorem for the pseudovariety generated by semigroups of orientation preserving transformations on a finite chain

2001, COMMUNICATIONS IN ALGEBRA, Fernandes,VH

Read More