URI(s)
- http://id.loc.gov/authorities/subjects/sh2007007330
- http://id.loc.gov/authorities/sh2007007330#concept
Broader Terms
Closely Matching Concepts from Other Schemes
Sources
- found: Work cat.: 2007923182: Finite model theory and its applications, c2007.
- found: Coll. comp. sci. bibl. WWW site, Sept. 6, 2007(Bibliography on Finite model theory)
- found: LC database, Sept. 6, 2007.
- found: Wikipedia WWW site, Sept. 5, 2007(Finite model theory is a subfield of model theory that focuses on properties of logical languages, such as first-order logic, over finite structures, such as finite groups, graphs, databases, and most abstract machines. It focuses in particular on connections between logical languages and computation, and is closely associated with discrete mathematics, complexity theory, and database theory)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2007-09-05: new
- 2007-10-03: revised
Alternate Formats
