Publication | Closed Access
Finite Derivation Type Implies The Homological Finiteness Condition FP3
36
Citations
0
References
1994
Year
Finite Model TheoryFinite Derivation TypeHigher-order LogicFinite-state System
No additional data available for this publication yet. Check back later!