Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423): Difference between revisions

@@ Property / author @@
-Alexej P. Lisitsa
@@ Property / author: Alexej P. Lisitsa / rank @@
-Normal rank
@@ Property / author @@
-Vladimir Yu. Sazonov
@@ Property / author: Vladimir Yu. Sazonov / rank @@
-Normal rank
@@ Property / author @@
+Alexej P. Lisitsa
@@ Property / author: Alexej P. Lisitsa / rank @@
+Normal rank
@@ Property / author @@
+Vladimir Yu. Sazonov
@@ Property / author: Vladimir Yu. Sazonov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with first-order logic
@@ Property / cites work: Computing with first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Database theory - ICDT '97. 6th international conference, Delphi, Greece, January 8--10, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal deduction in second-order logic and set theory. II
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817599
@@ Property / cites work: Q3817599 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and inductive definability over finite structures
+Normal rank
@@ Property / cites work @@
+Q4202935
@@ Property / cites work: Q4202935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5202184
@@ Property / cites work: Q5202184 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point extensions of first-order logic
@@ Property / cites work: Fixed-point extensions of first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3142555
@@ Property / cites work: Q3142555 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta\)-languages for sets and LOGSPACE computable graph transformers
+Normal rank
@@ Property / cites work @@
+Q4376058
@@ Property / cites work: Q4376058 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC '97. Vienna, Austria. August 25--29, 1997. Proceedings
+Normal rank
@@ Property / cites work @@
+Strengthening of the theorems on polynomial queries
+Normal rank
@@ Property / cites work @@
+Non-well-founded sets modeled as ideal fixed points
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376070
@@ Property / cites work: Q4376070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902993
@@ Property / cites work: Q3902993 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743313
@@ Property / cites work: Q3743313 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4207895
@@ Property / cites work: Q4207895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829550
@@ Property / cites work: Q3829550 / rank @@
+Normal rank
@@ Property / cites work @@
+Hereditarily-finite sets, data bases and polynomial-time computability
+Normal rank
@@ Property / cites work @@
+Q4474864
@@ Property / cites work: Q4474864 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4395612
@@ Property / cites work: Q4395612 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1960423