Publication
-
A primitive recursive set theory and AFA: on the logical complexity of the largest bisimulation Tech Report
January 1992
-
Provably recursive programs Tech Report
January 1992
-
January 1992 -
January 1992
-
Finite interpolation of random fields Tech Report
January 1992
-
One-third-integrality in the metric polytope Tech Report
January 1992
-
A globally gated polling system with server interruptions, and applications to the repairman problem Tech Report
January 1992
-
January 1992