The following pages link to Jürgen Avenhaus (Q174769):
Displaying 48 items.
- (Q760499) (redirect page) (← links)
- The Nielsen reduction and P-complete problems in free groups (Q760500) (← links)
- On the complexity of intersection and conjugacy problems in free groups (Q760501) (← links)
- Connection tableaux with lazy paramodulation (Q928656) (← links)
- (Q1186707) (redirect page) (← links)
- When is an extension of a specification consistent? Decidable and undecidable cases (Q1186708) (← links)
- Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
- Termination and completion modulo associativity, commutativity and identity (Q1199927) (← links)
- Tight complexity bounds for term matching problems (Q1201724) (← links)
- Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität (Q1243274) (← links)
- Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen (Q1243275) (← links)
- Finite acyclic theories are unitary (Q1260765) (← links)
- A framework for operational equational specifications with pre-defined structures (Q1286447) (← links)
- Generalized sufficient conditions for modular termination of rewriting (Q1328180) (← links)
- Termination of term rewriting: Interpretation and type elimination (Q1332336) (← links)
- On using ground joinable equations in equational theorem proving (Q1404987) (← links)
- On the descriptive power of term rewriting systems (Q1819932) (← links)
- Ein Verfahren zur Einschließung der Lösung des Anfangswertproblems. (A method for inclusion of the solution of the initial value problem.) (Q2550960) (← links)
- Reflection in rewriting logic. Metalogical foundations and metaprogramming applications (Q2734833) (← links)
- (Q3048820) (← links)
- (Q3329652) (← links)
- (Q3340146) (← links)
- (Q3484358) (← links)
- (Q3659975) (← links)
- (Q3719861) (← links)
- Groups Presented by Finite Two-Monadic Church-Rosser Thue Systems (Q3741791) (← links)
- (Q3748486) (← links)
- (Q3867819) (← links)
- (Q3907068) (← links)
- (Q3919078) (← links)
- (Q3957134) (← links)
- (Q4073366) (← links)
- (Q4132516) (← links)
- (Q4137347) (← links)
- Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität (Q4179012) (← links)
- (Q4249033) (← links)
- (Q4310310) (← links)
- (Q4336265) (← links)
- (Q4539648) (← links)
- (Q4698534) (← links)
- (Q4737457) (← links)
- (Q4942661) (← links)
- Proving equational and inductive theorems by completion and embedding techniques (Q5055774) (← links)
- Distributing equational theorem proving (Q5055785) (← links)
- Higher order conditional rewriting and narrowing (Q5096313) (← links)
- Automated Reasoning (Q5307077) (← links)
- (Q5619608) (← links)
- General algorithms for permutations in equational inference (Q5931113) (← links)
