A coalgebraic approach to non-determinism: applications to multilattices (Q621576): Difference between revisions

@@ Property / author @@
-Inma P. Cabrera
@@ Property / author: Inma P. Cabrera / rank @@
-Normal rank
@@ Property / author @@
-Pablo Cordero
@@ Property / author: Pablo Cordero / rank @@
-Normal rank
@@ Property / author @@
-Manuel Ojeda Aciego
@@ Property / author: Manuel Ojeda Aciego / rank @@
-Normal rank
@@ Property / author @@
+Inma P. Cabrera
@@ Property / author: Inma P. Cabrera / rank @@
+Normal rank
@@ Property / author @@
+Pablo Cordero
@@ Property / author: Pablo Cordero / rank @@
+Normal rank
@@ Property / author @@
+Manuel Ojeda Aciego
@@ Property / author: Manuel Ojeda Aciego / 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.ins.2010.07.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2136153846
@@ Property / OpenAlex ID: W2136153846 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4693062
@@ Property / cites work: Q4693062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824704
@@ Property / cites work: Q5824704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5830664
@@ Property / cites work: Q5830664 / rank @@
+Normal rank
@@ Property / cites work @@
+Partially ordered sets and the Schreier refinement theorem
+Normal rank
@@ Property / cites work @@
+Coalgebraic Models for Reactive Systems
@@ Property / cites work: Coalgebraic Models for Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+G-Reactive Systems as Coalgebras
@@ Property / cites work: G-Reactive Systems as Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy congruence relations on nd-groupoids
@@ Property / cites work: Fuzzy congruence relations on nd-groupoids / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence relations on some hyperstructures
@@ Property / cites work: Congruence relations on some hyperstructures / rank @@
+Normal rank
@@ Property / cites work @@
+Nearlattices
@@ Property / cites work: Nearlattices / 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 @@
+Non-deterministic ideal operators: an adequate tool for formalization in data bases
+Normal rank
@@ Property / cites work @@
+Q4706962
@@ Property / cites work: Q4706962 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of logic programs with imperfect information: applications and query procedure
+Normal rank
@@ Property / cites work @@
+Unification in intuitionistic logic
@@ Property / cites work: Unification in intuitionistic logic / 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 @@
+A coalgebraic approach to the semantics of the ambient calculus
+Normal rank
@@ Property / cites work @@
+Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Some results involving multilattice ideals and distributivity
+Normal rank
@@ Property / cites work @@
+Coinductive Properties of Causal Maps
@@ Property / cites work: Coinductive Properties of Causal Maps / rank @@
+Normal rank
@@ Property / cites work @@
+Q3946207
@@ Property / cites work: Q3946207 / 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 @@
+Components as coalgebras: the refinement dimension
+Normal rank
@@ Property / cites work @@
+Q5753993
@@ Property / cites work: Q5753993 / rank @@
+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 @@
+Q3953815
@@ Property / cites work: Q3953815 / rank @@
+Normal rank
@@ Property / cites work @@
+Services and Contracts: Coalgebraically
@@ Property / cites work: Services and Contracts: Coalgebraically / rank @@
+Normal rank
@@ Property / cites work @@
+Q3410000
@@ Property / cites work: Q3410000 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Automata and fixed point logic: a coalgebraic perspective
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:621576