Title of article
Decidability of bounded second order unification
Author/Authors
Manfred Schmidt-Schau?، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
36
From page
143
To page
178
Keywords
Second order unification , unification , Lambda calculus , Context unification , Automated deduction , Rewriting , Higher order unification , Logics in artificial intelligence
Journal title
Information and Computation
Serial Year
2004
Journal title
Information and Computation
Record number
262208
Link To Document