scientific article; zbMATH DE number 500953
From MaRDI portal
Publication:4279086
zbMath0800.68844MaRDI QIDQ4279086
Laurent Vigneron, Michaël Rusinowitch
Publication date: 21 September 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
Automated deduction with associative-commutative operators ⋮ A total AC-compatible ordering based on RPO ⋮ Associative-commutative deduction with constraints
This page was built for publication:
