A metalogic programming approach: language, semantics and applications (Q4305334): 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.1080/09528139408953789
+Normal rank
@@ Property / OpenAlex ID @@
+W1973381136
@@ Property / OpenAlex ID: W1973381136 / rank @@
+Normal rank
@@ Property / cites work @@
+An analysis of loop checking mechanisms for logic programs
+Normal rank
@@ Property / cites work @@
+Q3255339
@@ Property / cites work: Q3255339 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and semantic networks
@@ Property / cites work: Logic and semantic networks / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite recursive progressions of axiomatic theories
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
+Normal rank
@@ Property / cites work @@
+Q4692551
@@ Property / cites work: Q4692551 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5656739
@@ Property / cites work: Q5656739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817650
@@ Property / cites work: Q3817650 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn clause computability
@@ Property / cites work: Horn clause computability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5557870
@@ Property / cites work: Q5557870 / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to a theory of mechanized formal reasoning
+Normal rank
@@ Property / Wikidata QID @@
+Q126251932
@@ Property / Wikidata QID: Q126251932 / rank @@
+Normal rank