Semantic foundations for generalized rewrite theories (Q2503334): Difference between revisions

@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / 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.tcs.2006.04.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2029227380
@@ Property / OpenAlex ID: W2029227380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848117
@@ Property / cites work: Q2848117 / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity of strong normalization in the   algebraic-λ-cube
+Normal rank
@@ Property / cites work @@
+Pure patterns type systems
@@ Property / cites work: Pure patterns type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Reflective metalogical frameworks
@@ Property / cites work: Reflective metalogical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive-data-type systems
@@ Property / cites work: Inductive-data-type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q2849873
@@ Property / cites work: Q2849873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449180
@@ Property / cites work: Q4449180 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849855
@@ Property / cites work: Q2849855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769430
@@ Property / cites work: Q2769430 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734833
@@ Property / cites work: Q2734833 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4808699
@@ Property / cites work: Q4808699 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Theorem proving modulo
@@ Property / cites work: Theorem proving modulo / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract data type systems
@@ Property / cites work: Abstract data type systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222981
@@ Property / cites work: Q4222981 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of Rewriting with Strategy Annotations
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 9
@@ Property / cites work: Handbook of philosophical logic. Vol. 9 / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting logic: Roadmap and bibliography
@@ Property / cites work: Rewriting logic: Roadmap and bibliography / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851059
@@ Property / cites work: Q2851059 / rank @@
+Normal rank
@@ Property / cites work @@
+Executable structural operational semantics in Maude
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods in software and systems modeling. Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
+Normal rank
@@ Property / cites work @@
+Q4421726
@@ Property / cites work: Q4421726 / rank @@
+Normal rank
@@ Property / cites work @@
+From object-orientation to formal methods. Essays in memory of Ole-Johan Dahl.
+Normal rank