Switch to: References

Add citations

You must login to add citations.
  1. (1 other version)The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Mathematical Logic Quarterly 13 (1‐2):15-20.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)The Decision Problem for a Class of First-Order Formulas in Which all Disjunctions are Binary.M. R. Krom - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (1-2):15-20.
    Download  
     
    Export citation  
     
    Bookmark   9 citations