Tag: 2001

NOVA Math > NOVA Math >

Formalizing non-termination of recursive programs

2001, JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, Kahle,R;Studer,T

Read More

Truth in Applicative Theories

2001, Stud Logica, Kahle,R

Read More

Implicit characterizations of Pspace

2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Oitavem,I

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

Perron-Frobenius theorem for matrices with some negative entries

2001, Linear Algebra and Its Applications, Tarazaga,P;Raydan,M;Hurman,A

Read More

Algorithm 813: SPG – Software for Convex-Constrained Optimization

2001, ACM Transactions on Mathematical Software, Birgin,EG;Martínez,JM;Raydan,M

Read More

Document clustering and cluster topic extraction in multilingual corpora

2001, 2001 IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS, Silva,J;Mexia,J;Coelho,A;Lopes,G

Read More

Multilingual document clustering, topic extraction and data transformations

2001, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Silva,J;Mexia,J;Coelho,CA;Lopes,G

Read More

On the kernel of the derivation operator

2001, LINEAR ALGEBRA AND ITS APPLICATIONS, Fernandes,R

Read More