Publication | Closed Access
On the undecidability of the equivalence of second-order tuple generating dependencies
18
Citations
18
References
2014
Year
Order TheorySecond-order TupleFormal MethodsHigher-order LogicComputability Theory
| Year | Citations | |
|---|---|---|
Page 1
Page 1