Q5079729 (Q5079729): Difference between revisions

@@ Property / DOI @@
-.4230/LIPIcs.CSL.2018.8
@@ Property / DOI: 10.4230/LIPIcs.CSL.2018.8 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Constructibility and decidability versus domain independence and absoluteness
+Normal rank
@@ Property / cites work @@
+A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
+Normal rank
@@ Property / cites work @@
+Q3081637
@@ Property / cites work: Q3081637 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing Scientifically Applicable Mathematics in a Definitional Framework
+Normal rank
@@ Property / cites work @@
+A minimal computational theory of a minimal computational universe
+Normal rank
@@ Property / cites work @@
+Q2740887
@@ Property / cites work: Q2740887 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329455
@@ Property / cites work: Q3329455 / rank @@
+Normal rank
@@ Property / cites work @@
+The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
+Normal rank
@@ Property / cites work @@
+Q4085724
@@ Property / cites work: Q4085724 / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Q4003735
@@ Property / cites work: Q4003735 / rank @@
+Normal rank
@@ Property / cites work @@
+Domain-independent formulas and databases
@@ Property / cites work: Domain-independent formulas and databases / rank @@
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.CSL.2018.8
@@ Property / DOI: 10.4230/LIPICS.CSL.2018.8 / rank @@
+Normal rank