Prefix classes of Krom formulas (Q4090321): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2271987
@@ Property / full work available at URL: https://doi.org/10.2307/2271987 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2162764642
@@ Property / OpenAlex ID: W2162764642 / rank @@
+Normal rank
@@ Property / cites work @@
+On Context-Free Languages
@@ Property / cites work: On Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+The decision problem for formulas with a small number of atomic subformulas
+Normal rank
@@ Property / cites work @@
+The Decision Problem for a Class of First‐Order Formulas in Which all Disjunctions are Binary
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank