Publication | Closed Access
Complex predicates via restriction
39
Citations
6
References
2003
Year
Unknown Venue
EngineeringRelevance LogicAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceHigher-order LogicComplex Predicates
| Year | Citations | |
|---|---|---|
Page 1
Page 1