Logic with equality: Partisan corroboration and shifted pairing (Q1854299): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1006/inco.1999.2797
+Normal rank
@@ Property / OpenAlex ID @@
+W2033342015
@@ Property / OpenAlex ID: W2033342015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140630
@@ Property / cites work: Q3140630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938629
@@ Property / cites work: Q4938629 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of simultaneous rigid E-unification
+Normal rank
@@ Property / cites work @@
+Q3129297
@@ Property / cites work: Q3129297 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability and complexity of simultaneous rigid E-unification with one variable and related results
+Normal rank
@@ Property / cites work @@
+Q3838767
@@ Property / cites work: Q3838767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigid E-unification: NP-completeness and applications to equational matings
+Normal rank
@@ Property / cites work @@
+Q4249176
@@ Property / cites work: Q4249176 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Monadic simultaneous rigid E-unification and related problems
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive First-Order Logic Is NP-Complete
@@ Property / cites work: Positive First-Order Logic Is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Q3838759
@@ Property / cites work: Q3838759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4146913
@@ Property / cites work: Q4146913 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559244
@@ Property / cites work: Q5559244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109666
@@ Property / cites work: Q4109666 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient ground completion
@@ Property / cites work: Efficient ground completion / rank @@
+Normal rank
@@ Property / cites work @@
+Lower Bounds on Herbrand's Theorem
@@ Property / cites work: Lower Bounds on Herbrand's Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364523
@@ Property / cites work: Q4364523 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4936123
@@ Property / cites work: Q4936123 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-search in intuitionistic logic with equality, or back to simultaneous rigid E-unification
+Normal rank
@@ Property / cites work @@
+Q4936130
@@ Property / cites work: Q4936130 / rank @@
+Normal rank