A complete proof system for timed observations

  • Authors:

  • Yolanda Ortega-Mallén;David de Frutos-Escrig

  • Affiliations:

  • -;-

  • Venue:
  • TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
  • Year:
  • 1991

  • Looking for a cheaper ROSA

    IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II

Quantified Score

Hi-index 0.00

Visualization

Abstract