The Decision Problem for Segregated Formulas in First-Order Logic.

Authors

  • M. R. Krom

DOI:

https://doi.org/10.7146/math.scand.a-10862

Downloads

Published

1967-12-01

Issue

Vol. 21 (1967)

Section

Articles

How to Cite

[1]
M. R. Krom, “The Decision Problem for Segregated Formulas in First-Order Logic”., Math. Scand., vol. 21, pp. 233–240, Dec. 1967, doi: 10.7146/math.scand.a-10862.