Publication | Closed Access
Decidable fragments of first-order temporal logics
197
Citations
27
References
2000
Year
EngineeringDecidable FragmentsAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceTemporal LogicHigher-order LogicFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1