A Predicate Calculus with Control of Derivations

  • Authors:

  • Daniel Mey

  • Affiliations:

  • -

  • Venue:
  • CSL '89 Proceedings of the 3rd Workshop on Computer Science Logic
  • Year:
  • 1989

Quantified Score

Hi-index 0.00

Visualization

Abstract