scientific article
From MaRDI portal
Publication:2762872
zbMath0976.68154MaRDI QIDQ2762872
Joachim Niehren, Alexander Koller, Ralf Treinen
Publication date: 13 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2014/20140106
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Dominance constraints in stratified context unification ⋮ Automata for unordered trees ⋮ Dominance constraints with Boolean connectives: A model-eliminative treatment