Browse Zafar, Nazir Ahmad; Hussain, Ajmal; Ali, Amir

1-2 out of 2 article(s)

Title	Type	Date	Words
Verifying monoid and group morphisms over strongly connected algebraic automata.	Report	Aug 1, 2010	5603
Refinement in formal proof of equivalence in morphisms over strongly connected algebraic automata.	Technical report	Jul 1, 2009	6341

Publications by Name	Publications by Date	Authors	Literature
A-D E-O P-T U-Z	before 1995 1995-1999 2000-2004 2005-2009 2010-	A B C D E F G H I J K L M N O P Q R S T U V W X Y Z	A B C D E F G H I J K L M N O P Q R S T U V W X Y Z