scientific article
From MaRDI portal
Publication:3692900
zbMath0574.68076MaRDI QIDQ3692900
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Theorem proving in cancellative abelian monoids (extended abstract) ⋮ Ordered chaining for total orderings
This page was built for publication:
