Behavioral equivalence of hidden \(k\)-logics: an abstract algebraic approach (Q301373): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+G27
@@ Property / Mathematics Subject Classification ID: 03G27 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6599739
@@ Property / zbMATH DE Number: 6599739 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavioral equivalence
@@ Property / zbMATH Keywords: behavioral equivalence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+hidden logic
@@ Property / zbMATH Keywords: hidden logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Leibniz congruence
@@ Property / zbMATH Keywords: Leibniz congruence / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CIRC
@@ Property / describes a project that uses: CIRC / 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.jal.2016.03.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2295440525
@@ Property / OpenAlex ID: W2295440525 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:301373