Title of article :
Canonization for disjoint unions of theories
Author/Authors :
Sava Krsti?، نويسنده , , Sylvain Conchon، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Journal title :
Information and Computation
Journal title :
Information and Computation
