Unification with Sequence Variables And Flexible Arity Symbols and its Extension with Pattern-Terms (2002)

by Temur Kutsia
Venue:ARTIFICIAL INTELLIGENCE, AUTOMATED REASONING AND SYMBOLIC COMPUTATION. PROC. OF JOINT AISC’2002 – CALCULEMUS’2002 CONFERENCE, VOLUME 2385 OF LNAI
Citations:27 - 14 self