Finite Constants: Characterizations of a New Decidable Set of Constants

• Authors:

• Bernhard Steffen;Jens Knoop

• Affiliations:

• -;-

• Venue:
• MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
• Year:
• 1989