Dynamically-typed computations for order-sorted equational presentations (Q4632447): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1542420363
@@ Property / OpenAlex ID: W1542420363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion of rewrite systems with membership constraints. II: Constraint solving
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted completion: The many-sorted way
@@ Property / cites work: Order-sorted completion: The many-sorted way / rank @@
+Normal rank
@@ Property / cites work @@
+Equational completion in order-sorted algebras
@@ Property / cites work: Equational completion in order-sorted algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
+Normal rank
@@ Property / cites work @@
+Dynamically typed computations for order-sorted equational presentations
+Normal rank
@@ Property / cites work @@
+Programming with equalities, subsorts, overloading, and parametrization in OBJ
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics of rewriting terms and types
@@ Property / cites work: Algebraic semantics of rewriting terms and types / rank @@
+Normal rank
@@ Property / cites work @@
+Q3204056
@@ Property / cites work: Q3204056 / rank @@
+Normal rank
@@ Property / cites work @@
+Equational type logic
@@ Property / cites work: Equational type logic / rank @@
+Normal rank
@@ Property / cites work @@
+Investigations in many-sorted quantor logic
@@ Property / cites work: Investigations in many-sorted quantor logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3490936
@@ Property / cites work: Q3490936 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational aspects of an order-sorted logic with term declarations
+Normal rank
@@ Property / cites work @@
+Semantics of order-sorted specifications
@@ Property / cites work: Semantics of order-sorted specifications / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic approach to order-sorted rewriting
@@ Property / cites work: A semantic approach to order-sorted rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness and confluence of order-sorted term rewriting
+Normal rank