Automatic model construction

DOI10.1016/S0020-0255(80)80002-8zbMath0455.03001MaRDI QIDQ1149943

William Richard Stark

Publication date: 1980

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0255(80)80002-8

zbMATH Keywords

algorithm; finite models

Mathematics Subject Classification ID

03B10: Classical first-order logic

03C15: Model theory of denumerable and separable structures

03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations

Cites Work

• Model theory
• Unnamed Item
• Unnamed Item