000110209 001__ 110209
000110209 005__ 20180317093552.0
000110209 037__ $$aCONF
000110209 245__ $$aReducibility method for termination properties of typed lambda terms
000110209 269__ $$a2001
000110209 260__ $$c2001
000110209 336__ $$aConference Papers
000110209 700__ $$aGhilezan, Silvia
000110209 700__ $$0240031$$aKuncak, Viktor$$g177241
000110209 700__ $$aLikavec, Silvia
000110209 773__ $$tFifth International Workshop on Termination
000110209 909CO $$ooai:infoscience.tind.io:110209$$pIC$$pconf
000110209 909C0 $$0252019$$pLARA$$xU11739
000110209 937__ $$aLARA-CONF-2001-003
000110209 970__ $$aGhilezanETAL01Reducibility/LARA
000110209 973__ $$aOTHER$$sPUBLISHED
000110209 980__ $$aCONF