Advertisement

On the tracking of loops in automated deductions

  • M. E. Szabo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 533)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    P. Graham, Profit Probability Analysis of Research and Development Expenditures, The Journal of Industrial Engineering 16 (1965) 186–191.Google Scholar
  2. [2] [2]
    D. T. Phillips and A. Garrowia-Diaz, Fundamentals of Network Analysis, Prentice-Hall, New York, 1981.Google Scholar
  3. [3]
    M. E. Szabo, Algebra of Proofs, North-Holland Publishing Company, Amsterdam, 1978.Google Scholar
  4. [4]
    M. E. Szabo, Stochastic Performance Measures for Rule-Based Expert Systems, Information Sciences. In Press.Google Scholar
  5. [5]
    M. E. Szabo, On the Stochastic Complexity of Loops in Rule-Based Expert Systems, Information Sciences. In Press.Google Scholar
  6. [6]
    M. E. Szabo, Mason Measures for Proofs. In Preparation.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • M. E. Szabo
    • 1
  1. 1.Department of MathematicsConcordia UniversityMontrealCanada

Personalised recommendations