Publication | Closed Access

A modest model of records, inheritance, and bounded quantification

EngineeringAutomated ReasoningModest ModelModel TheoryFirst-order LogicHigher-order LogicStatistics