scientific article
From MaRDI portal
Publication:3994022
zbMath0768.68084MaRDI QIDQ3994022
Publication date: 13 August 1992
Full work available at URL: http://www.numdam.org/item?id=CTGDC_1991__32_3_203_0
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
undecidabilityhomotopyfundamental groupoidpath algebracontext-free grammarunification algorithmsyntactic algebracategory small categories
Undecidability and degrees of sets of sentences (03D35) Grammars and rewriting systems (68Q42) Homological algebra in category theory, derived categories and functors (18G99) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40)
Uses Software
Cites Work
- The geometric realization of a semi-simplicial complex
- Finite generation of ambiguity in context-free languages
- Unification theory
- On the difference between cohomological dimension and homological dimension
- A unification algorithm for typed \(\bar\lambda\)-calculus
- The uniqueness of homology for the category of small categories
- A fibred homotopy equivalence and homology theories for the category of small categories
- Simplicial sets from categories
- On equational theories, unification, and (un)decidability
- On Derived Functors of Limit
- An algebraic model for programming languages
- Unification: a multidisciplinary survey
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Categorical and topological aspects of formal languages
- The basic algebraic structures in categories of derivations
- Can programming be liberated from the von Neumann style?
- A Machine-Oriented Logic Based on the Resolution Principle
- Homotopy inverses for nerve
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
