AN ALGORITHM FOR THE UNIFICATION OF 2ND-ORDER MONADIC TERMS Conferences

authors

• Farmer, William Michael

status

• published 

publication date

• September 1, 1986

has subject area

• 0101 Pure Mathematics (FoR)
• 0802 Computation Theory and Mathematics (FoR)
• 2203 Philosophy (FoR)
• General Mathematics (Science Metrix)

published in

• Journal of Symbolic Logic (JSL)  Journal

keywords

• Logic
• Mathematics
• Physical Sciences
• Science & Technology
• Science & Technology - Other Topics

start page

• 841

end page

• 842

volume

• 51

issue

• 3