Free objects and equational deduction for partial conditional specifications (Q673184): Difference between revisions

@@ 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/0304-3975(95)00246-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2077369743
@@ Property / OpenAlex ID: W2077369743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736339
@@ Property / cites work: Q2736339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030245
@@ Property / cites work: Q3030245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4721640
@@ Property / cites work: Q4721640 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability, complexity, logic. Transl. from the German
+Normal rank
@@ Property / cites work @@
+Q3657416
@@ Property / cites work: Q3657416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3731650
@@ Property / cites work: Q3731650 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Soundness and completeness of the Birkhoff equational calculus for many-sorted algebras with possibly empty carrier sets
+Normal rank
@@ Property / cites work @@
+Q3687683
@@ Property / cites work: Q3687683 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789048
@@ Property / cites work: Q3789048 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-varieties in abstract algebraic institutions
+Normal rank
@@ Property / cites work @@
+Q4385539
@@ Property / cites work: Q4385539 / rank @@
+Normal rank