Publication | Open Access
The first-order theory of lexicographic path orderings is undecidable
26
Citations
7
References
1997
Year
Order TheorySyntaxComputability TheoryAutomated ReasoningLanguage StudiesHigher-order LogicLinguisticsFirst-order Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1