Synthesis of theories for specifications in tagh-format, Technische Universiteit Eindhoven (2003)

by M A Tas
Results 1 - 1 of 1

Axiomatizing GSOS with Termination

by J.C.M. Baeten , E.P. de Vink - THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING , 2004
"... ..."
Abstract - Cited by 13 (1 self) - Add to MetaCart
Abstract not found