Q3994022 (Q3994022): Difference between revisions

@@ Property / describes a project that uses @@
+Rust
@@ Property / describes a project that uses: Rust / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809306
@@ Property / cites work: Q3809306 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+The basic algebraic structures in categories of derivations
+Normal rank
@@ Property / cites work @@
+On equational theories, unification, and (un)decidability
+Normal rank
@@ Property / cites work @@
+Q4725721
@@ Property / cites work: Q4725721 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5515373
@@ Property / cites work: Q5515373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3686043
@@ Property / cites work: Q3686043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3954784
@@ Property / cites work: Q3954784 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338216
@@ Property / cites work: Q3338216 / rank @@
+Normal rank
@@ Property / cites work @@
+Homotopy inverses for nerve
@@ Property / cites work: Homotopy inverses for nerve / rank @@
+Normal rank
@@ Property / cites work @@
+Q5580926
@@ Property / cites work: Q5580926 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+A unification algorithm for typed \(\bar\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Unification: a multidisciplinary survey
@@ Property / cites work: Unification: a multidisciplinary survey / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+On Derived Functors of Limit
@@ Property / cites work: On Derived Functors of Limit / rank @@
+Normal rank
@@ Property / cites work @@
+The uniqueness of homology for the category of small categories
+Normal rank
@@ Property / cites work @@
+A fibred homotopy equivalence and homology theories for the category of small categories
+Normal rank
@@ Property / cites work @@
+Finite generation of ambiguity in context-free languages
+Normal rank
@@ Property / cites work @@
+Q4203831
@@ Property / cites work: Q4203831 / rank @@
+Normal rank
@@ Property / cites work @@
+On the difference between cohomological dimension and homological dimension
+Normal rank
@@ Property / cites work @@
+Simplicial sets from categories
@@ Property / cites work: Simplicial sets from categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915990
@@ Property / cites work: Q3915990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+The geometric realization of a semi-simplicial complex
+Normal rank
@@ Property / cites work @@
+Categorical and topological aspects of formal languages
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q3994730
@@ Property / cites work: Q3994730 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic model for programming languages
@@ Property / cites work: An algebraic model for programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815296
@@ Property / cites work: Q3815296 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3338215
@@ Property / cites work: Q3338215 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank