Finitary coalgebraic multisemilattices and multilattices. (Q2249004): Difference between revisions

@@ Property / DOI @@
-.1016/j.amc.2011.10.081
@@ Property / DOI: 10.1016/j.amc.2011.10.081 / rank @@
-Normal rank
@@ Property / cites work @@
+Partially ordered sets and the Schreier refinement theorem
+Normal rank
@@ Property / cites work @@
+A coalgebraic approach to non-determinism: applications to multilattices
+Normal rank
@@ Property / cites work @@
+Q3867808
@@ Property / cites work: Q3867808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448360
@@ Property / cites work: Q5448360 / rank @@
+Normal rank
@@ Property / cites work @@
+A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics
+Normal rank
@@ Property / cites work @@
+Q4706962
@@ Property / cites work: Q4706962 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
+Normal rank
@@ Property / cites work @@
+A finite word poset
@@ Property / cites work: A finite word poset / rank @@
+Normal rank
@@ Property / cites work @@
+L-fuzzy sets
@@ Property / cites work: L-fuzzy sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic characterization of multilattices
@@ Property / cites work: An axiomatic characterization of multilattices / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal logic of coalgebras via Galois algebras
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Substring search and repeat search using factor oracles
+Normal rank
@@ Property / cites work @@
+Specifying coalgebras with modal logic
@@ Property / cites work: Specifying coalgebras with modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizations of lattices via non-deterministic operators
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming via multilattices
@@ Property / cites work: Fuzzy logic programming via multilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798020
@@ Property / cites work: Q4798020 / rank @@
+Normal rank
@@ Property / cites work @@
+Similarity-based unification: A multi-adjoint approach
+Normal rank
@@ Property / cites work @@
+Combined super-/substring and super-/subsequence problems
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic
@@ Property / cites work: Coalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic view on positive modal logic
@@ Property / cites work: A coalgebraic view on positive modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Interpreted systems and Kripke models for multiagent systems from a categorical perspective
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Clausal logic and logic programming in algebraic domains
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the category \(\mathcal {S}et(\mathcal {JCP}os)\)
+Normal rank
@@ Property / cites work @@
+Coalgebraic structure of genetic inheritance.
@@ Property / cites work: Coalgebraic structure of genetic inheritance. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3410000
@@ Property / cites work: Q3410000 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy logic programming
@@ Property / cites work: Fuzzy logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4256312
@@ Property / cites work: Q4256312 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.AMC.2011.10.081
@@ Property / DOI: 10.1016/J.AMC.2011.10.081 / rank @@
+Normal rank