scientific article
From MaRDI portal
Publication:2762878
zbMath0976.68153MaRDI QIDQ2762878
Alexander Koller, Joachim Niehren
Publication date: 13 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2014/20140199
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 (2)
Dominance constraints in stratified context unification ⋮ On rewrite constraints and context unification
Uses Software
This page was built for publication: