Publication | Closed Access
Decidability and definability with circumscription
36
Citations
7
References
1987
Year
EngineeringComputability TheoryAutomated ReasoningFormal MethodsFormal SystemFormal VerificationLinguisticsLogical Formalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1