Title of article
Canonization for disjoint unions of theories
Author/Authors
Sava Krsti?، نويسنده , , Sylvain Conchon، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
20
From page
87
To page
106
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262288
Link To Document