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

How to Cite

Krom, M. R. (1967). The Decision Problem for Segregated Formulas in First-Order Logic. MATHEMATICA SCANDINAVICA, 21, 233–240. https://doi.org/10.7146/math.scand.a-10862

Issue

Vol. 21 (1967)

Section

Articles