A formalization of programs in first-order logic with a discrete linear order (Q274400): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2016.01.014
@@ Property / DOI: 10.1016/j.artint.2016.01.014 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+GOLOG
@@ Property / describes a project that uses: GOLOG / rank @@
+Normal rank
@@ 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.1016/j.artint.2016.01.014
+Normal rank
@@ Property / OpenAlex ID @@
+W2264437737
@@ Property / OpenAlex ID: W2264437737 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+The synthesis of loop predicates
@@ Property / cites work: The synthesis of loop predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic generation of invariants and intermediate assertions
+Normal rank
@@ Property / cites work @@
+The Daikon system for dynamic detection of likely invariants
+Normal rank
@@ Property / cites work @@
+Q4385540
@@ Property / cites work: Q4385540 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Elements of finite model theory.
@@ Property / cites work: Elements of finite model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Program verification through characteristic formulae
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for the verification of imperative programs
+Normal rank
@@ Property / cites work @@
+Tight, consistent, and computable completions for unrestricted logic programs
+Normal rank
@@ Property / cites work @@
+GOLOG: A logic programming language for dynamic domains
+Normal rank
@@ Property / cites work @@
+Q3999301
@@ Property / cites work: Q3999301 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2016.01.014
@@ Property / DOI: 10.1016/J.ARTINT.2016.01.014 / rank @@
+Normal rank