Pointfree expression and calculation: From quantification to temporal logic (Q633283): Difference between revisions

@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LabVIEW
@@ Property / describes a project that uses: LabVIEW / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Agda
@@ Property / describes a project that uses: Agda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Traffic 4
@@ Property / describes a project that uses: Traffic 4 / 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.1007/s10703-010-0100-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1970408998
@@ Property / OpenAlex ID: W1970408998 / rank @@
+Normal rank
@@ Property / cites work @@
+Exercises in Quantifier Manipulation
@@ Property / cites work: Exercises in Quantifier Manipulation / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4850062
@@ Property / cites work: Q4850062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992623
@@ Property / cites work: Q3992623 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331824
@@ Property / cites work: Q4331824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817000
@@ Property / cites work: Q4817000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5310200
@@ Property / cites work: Q5310200 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated Formal Methods
@@ Property / cites work: Integrated Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Categories for Types
@@ Property / cites work: Categories for Types / rank @@
+Normal rank
@@ Property / cites work @@
+Reading, Writing, and Proving
@@ Property / cites work: Reading, Writing, and Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692630
@@ Property / cites work: Q4692630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003284
@@ Property / cites work: Q4003284 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846258
@@ Property / cites work: Q4846258 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3257866
@@ Property / cites work: Q3257866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5733527
@@ Property / cites work: Q5733527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3284160
@@ Property / cites work: Q3284160 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Notes on Notation
@@ Property / cites work: Two Notes on Notation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4747057
@@ Property / cites work: Q4747057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503619
@@ Property / cites work: Q5503619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694687
@@ Property / cites work: Q3694687 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of Programming Languages
@@ Property / cites work: Theories of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q5526189
@@ Property / cites work: Q5526189 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789452
@@ Property / cites work: Q4789452 / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal algebra
@@ Property / cites work: Temporal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy sets
@@ Property / cites work: Fuzzy sets / rank @@
+Normal rank