Kleene algebra of partial predicates (Q1796766): Difference between revisions

@@ Property / DOI @@
-.2478/forma-2018-0002
@@ Property / DOI: 10.2478/forma-2018-0002 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2478/forma-2018-0002
+Normal rank
@@ Property / OpenAlex ID @@
+W2887573833
@@ Property / OpenAlex ID: W2887573833 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083730
@@ Property / cites work: Q4083730 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4308745
@@ Property / cites work: Q4308745 / rank @@
+Normal rank
@@ Property / cites work @@
+Caracterisation des algèbres de Nelson par des egalités, I
+Normal rank
@@ Property / cites work @@
+Injective de Morgan and Kleene Algebras
@@ Property / cites work: Injective de Morgan and Kleene Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003057
@@ Property / cites work: Q4003057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5584402
@@ Property / cites work: Q5584402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767933
@@ Property / cites work: Q2767933 / 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 @@
+On Representations of Abstract Systems with Partial Inputs and Outputs
+Normal rank
@@ Property / cites work @@
+On Local Characterization of Global Timed Bisimulation for Abstract Continuous-Time Systems
+Normal rank
@@ Property / cites work @@
+Event-based proof of the mutual exclusion property of Peterson's algorithm
+Normal rank
@@ Property / cites work @@
+Proving properties of programs on hierarchical nominative data
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple-named complex-valued nominative data -- definition and basic operations
+Normal rank
@@ Property / cites work @@
+Implementation of the composition-nominative approach to program formalization in Mizar
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348820
@@ Property / cites work: Q4348820 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3842697
@@ Property / cites work: Q3842697 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic properties of \(T\)-consequence relation in logics of quasiary predicates
+Normal rank
@@ Property / cites work @@
+Q5365463
@@ Property / cites work: Q5365463 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129426036
@@ Property / Wikidata QID: Q129426036 / rank @@
+Normal rank
@@ Property / DOI @@
+.2478/FORMA-2018-0002
@@ Property / DOI: 10.2478/FORMA-2018-0002 / rank @@
+Normal rank