公開日 On Finite Rigid Structures Yuri Gurevich, Saharon Shelah Journal of Symbolic Logic | June 1996, 巻61(2): pp. 549-562
公開日 Parsing Algorithms and Metrics Joshua Goodman Proceedings of the 34th Annual Meeting of the ACL | June 1996
公開日 Decision-Theoretic Case-Based Reasoning John S. Breese, David Heckerman MSR-TR-95-03 | May 1996 IEEE Transactions on Systems, Man, and Cybernetics
公開日 Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems (Looking at the Doughnut and not the Hole) Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya International Workshop on Persistent Object Systems (POS’96) | May 1996
公開日 Global Query Processing and Optimization in the CORDS Multidatabase System Paul Larson, Qiang Zhu April 1996
公開日 Points-to Analysis By Type Inference of Programs with Structures and Unions Bjarne Steensgaard January 1996
公開日 Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems Thomas Eiter, Georg Gottlob, Yuri Gurevich Annals of Pure and Applied Logic | January 1996
公開日 Low Temperature Phase Diagrams for Quantum Perturbations of Classical Spin Systems Christian Borgs, Ricardo Kotecky, D. Ueltschi Commun. Math. Phys. | January 1996