Fragments of Existential Second-Order Logic without 0-1 Laws

  • Authors:
  • J. -M. Le Bars

  • Affiliations:
  • -

  • Venue:
  • LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract