مرکز منطقه ای اطلاع رساني علوم و فناوري - Deciding the Word Problem in the Union of Equational Theories

Title of article :

Deciding the Word Problem in the Union of Equational Theories

Author/Authors :

Franz Baader، نويسنده , , Cesare Tinelli، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

346

To page :

390

Keywords :

equational reasoning , word problem , combination of decision procedures.

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

262091

Link To Document :