Concepedia
Publication | Closed Access
First-order logic and star-free sets
125
Citations
6
References
1986
Year
EngineeringAutomated ReasoningFormal MethodsFirst-order LogicHigher-order LogicLogical Formalism
Page 1