Proceedings of the international conference on Theoretical aspects of computer software

Authors:
T. Ito;A. R. Meyer
Affiliations:
-;-
Venue:
TACS '91 Proceedings of the international conference on Theoretical aspects of computer software
Year:
1991

Citing 0
Cited 1

Bounded quantification is undecidable

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Quantified Score

Hi-index	0.00

Visualization

Abstract