A Short Note on Two-Variable Logic with a Linear Order Successor and a Preorder Successor
Manuel, Amaldev · Schwentick, Thomas · Zeume, Thomas
الأصل · EN
The finite satisfiability problem of two-variable logic extended by a linear order successor and a preorder successor is shown to be undecidable.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.