Publication | Closed Access
Horn axiomatizations for sequential data
18
Citations
46
References
2006
Year
EngineeringHorn AxiomatizationsAutomated ReasoningKnowledge DiscoveryFormal MethodsSequential AlgorithmComputer ScienceHigher-order LogicComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1