scientific article; zbMATH DE number 3986676

zbMATH Open0609.68070MaRDI QIDQ3750148FDOQ3750148

Authors: Jürgen Müller, Joachim Steinbach 

Publication date: 1986

Title of this publication is not available (Why is that?)

Recommendations

• Extension functions for multiset orderings
• A geometrical approach to multiset orderings
• General relations between partially ordered multisets and their chains and antichains
• Partial orderings for sets of multisets
• A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets

zbMATH Keywords

term rewriting systemsterminationmultiset orderings

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Cited In (4)

• Title not available (Why is that?)
• Einbettungssätze für topologische Halbgruppen
• Extension functions for multiset orderings
• A geometrical approach to multiset orderings

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3750148)