Algorithms - Microsoft Research

Publication

Herbrand’s Theorem and Equational Reasoning: Problems and Solutions

Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov

Bulletin of the European Association for Theoretical Computer Science | October 1996

Publication

An incremental algorithm for a generalization of the shortest-path problem

G. Ramalingam, Thomas Reps

September 1996

Publication

Five Axioms of Alpha-Conversion

Andy Gordon, Tom Melham

9th International Conference, TPHOLs’96 | August 1996

Lecture Notes in Computer Science (LNCS)

ISBN: 9783540615873

Publication

The RPC-Memory Specification Problem: Problem Statement

Manfred Broy, Leslie Lamport

Formal Systems Specification: The RPC-Memory Specification Case Study, Manfred Broy, Stephan Merz, and Katharina Spies editors. Lecture Notes in Computer Science. | August 1996, Vol 1169: pp. 1-4

Publication

Error Probabilities of Synchronous DS/CDMA Systems with Random and Deterministic Signature Sequences for Ideal and Fading Channels

Jack W. Stokes, Jame A. Ritcey

IEEE International Communications Conference ICC | June 1996

Publication

A Comparison of Scientific and Engineering Criteria for Bayesian Model Selection

David Heckerman, Max Chickering

MSR-TR-96-12 | June 1996

Tools and Algorithms for the Construction and Analysis of Systems (TACAS '07)

Publication

On Finite Rigid Structures

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | June 1996, Vol 61(2): pp. 549-562

Publication

Parsing Algorithms and Metrics

Joshua Goodman

Proceedings of the 34th Annual Meeting of the ACL | June 1996

Publication

On the computational complexity of dynamic graphs problems

G. Ramalingam, Thomas Reps

May 1996

Publication

Decision-Theoretic Case-Based Reasoning

John S. Breese, David Heckerman

MSR-TR-95-03 | May 1996

IEEE Transactions on Systems, Man, and Cybernetics