Physical Sciences and Mathematics Commons^™

Tr-2003001: States Of Knowledge And Group Action, Rohit Parikh Jan 2003

Tr-2003008: Learning And Applying Temporal Patterns Through Experience, Esther Lock Jan 2003

Tr-2003005: Lambek Calculus Is Np-Complete, Mati Pentus Jan 2003

Tr-2003006: Rijndael For Algebraists: An Expanded Version Of Lenstra's Manuscript, Hannes Moritz, Wei Zhu Jan 2003

Tr-2003014: A High-Performance Abstract Machine For Prolog And Its Extensions, Neng-Fa Zhou Jan 2003

Tr-2003010: A Semantic Proof Of The Realizability Of Modal Logic In The Logic Of Proofs, Melvin Fitting Jan 2003

Tr-2003009: A Hierarchical Projection Pursuit Clustering Algorithm, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick Jan 2003

Tr-2003015: Two Counterexamples In The Logic Of Dynamic Topological Systems, Sergey Slavnov Jan 2003

Tr-2003002: A Knowledge Based Semantics Of Messages, Rohit Parikh, R. Ramanujam Jan 2003

Tr-2003003: Finite Information Logic, Rohit Parikh, Jouko Väänänen Jan 2003

Tr-2003004: Superfast Algorithms For Singular Toeplitz/Hankel-Like Matrices, Victor Y. Pan Jan 2003

Tr-2003007: On The Complexity Of The Reflected Logic Of Proofs, Nikolai V. Krupski Jan 2003

Tr-2003012: A Semantics For The Logic Of Proofs, Melvin Fitting Jan 2003

Tr-2003011: Data Modelling And Description: A Guide To Using The Sylmodel Library, Jayson E. Rome, Alexei D. Miasnikov, Robert M. Haralick Jan 2003

Tr-2003013: Qr-Like Algorithms For Generalized Semiseparable Matrices, Dario A. Bini, Luca Gemignani, Victor Y. Pan Jan 2003