Cited By
View all- Sekorin V(2024)On Undecidability of Unary Nonnested PFP Operators for One Successor Function TheoryRussian Mathematics10.3103/S1066369X2470030068:4(79-82)Online publication date: 6-Aug-2024
- Sekorin V(2024)On undecidability of unary non-nested PFP-operators for one successor function theoryIzvestiya Vysshikh Uchebnykh Zavedenii. Matematika10.26907/0021-3446-2024-4-89-93(89-93)Online publication date: 24-Apr-2024
- Fejza AGenevès PLayaïda N(2024)Efficient Enumeration of Recursive Plans in Transformation-Based Query OptimizersProceedings of the VLDB Endowment10.14778/3681954.368198617:11(3095-3108)Online publication date: 1-Jul-2024
- Show More Cited By