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

@@ 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
@@ Property / cites work @@
+Deduction-detachment theorem in hidden k-logics
@@ Property / cites work: Deduction-detachment theorem in hidden k-logics / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural theories and the proof of behavioural properties
+Normal rank
@@ Property / cites work @@
+Behavioural and abstractor specifications
@@ Property / cites work: Behavioural and abstractor specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Observational interpretation of Casl specifications
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Observational proofs by rewriting.
@@ Property / cites work: Observational proofs by rewriting. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3520840
@@ Property / cites work: Q3520840 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioral algebraization of logics
@@ Property / cites work: Behavioral algebraization of logics / rank @@
+Normal rank
@@ Property / cites work @@
+New dimensions on translations between logics
@@ Property / cites work: New dimensions on translations between logics / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-Boolean encodings and conditionals in algebraic specification
+Normal rank
@@ Property / cites work @@
+Coinduction for preordered algebra
@@ Property / cites work: Coinduction for preordered algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520814
@@ Property / cites work: Q4520814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3824395
@@ Property / cites work: Q3824395 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of abstract algebraic logic
@@ Property / cites work: A survey of abstract algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975038
@@ Property / cites work: Q3975038 / rank @@
+Normal rank
@@ Property / cites work @@
+Hidden coinduction:  behavioural correctness proofs for objects
+Normal rank
@@ Property / cites work @@
+A hidden agenda
@@ Property / cites work: A hidden agenda / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493908
@@ Property / cites work: Q4493908 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic methodology and software technology. 7th international conference, AMAST '98, Amazonia, Brazil, January 4--8, 1999. Proceedings
+Normal rank
@@ Property / cites work @@
+Bisimulation and Hidden Algebra
@@ Property / cites work: Bisimulation and Hidden Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties for the class of behavioral models
+Normal rank
@@ Property / cites work @@
+Behavioural reasoning for conditional equations
@@ Property / cites work: Behavioural reasoning for conditional equations / rank @@
+Normal rank
@@ Property / cites work @@
+Refinement by Interpretation in a General Setting
@@ Property / cites work: Refinement by Interpretation in a General Setting / rank @@
+Normal rank
@@ Property / cites work @@
+A coalgebraic perspective on logical interpretations
+Normal rank
@@ Property / cites work @@
+The role of logical interpretations in program development
+Normal rank
@@ Property / cites work @@
+Q3032225
@@ Property / cites work: Q3032225 / rank @@
+Normal rank
@@ Property / cites work @@
+What is a logic translation?
@@ Property / cites work: What is a logic translation? / rank @@
+Normal rank
@@ Property / cites work @@
+Swinging types=functions+relations+transition systems
+Normal rank
@@ Property / cites work @@
+Order algebraizable logics
@@ Property / cites work: Order algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725725
@@ Property / cites work: Q4725725 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+Circular Coinduction: A Proof Theoretical Foundation
+Normal rank
@@ Property / cites work @@
+Foundations of algebraic specification and formal software development.
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:301373