CLASSES WHOSE TERMINATION IS DECIDABLE

Bibliographic Details
Main Author:	Sakai, Masahiko
Language:	en
Published:	INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE 2006
Online Access:	http://hdl.handle.net/2237/10414

id	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-10414
record_format	oai_dc
spelling	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-104142013-06-27T03:28:02ZCLASSES WHOSE TERMINATION IS DECIDABLESakai, MasahikoINTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE2006-12Presentationhttp://hdl.handle.net/2237/104144th Symposium on "Intelligent Media Integration for Social Information Infrastructure" December 7-8, 2006, p.161-168en
collection	NDLTD
language	en
sources	NDLTD
author	Sakai, Masahiko
spellingShingle	Sakai, Masahiko CLASSES WHOSE TERMINATION IS DECIDABLE
author_facet	Sakai, Masahiko
author_sort	Sakai, Masahiko
title	CLASSES WHOSE TERMINATION IS DECIDABLE
title_short	CLASSES WHOSE TERMINATION IS DECIDABLE
title_full	CLASSES WHOSE TERMINATION IS DECIDABLE
title_fullStr	CLASSES WHOSE TERMINATION IS DECIDABLE
title_full_unstemmed	CLASSES WHOSE TERMINATION IS DECIDABLE
title_sort	classes whose termination is decidable
publisher	INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE
publishDate	2006
url	http://hdl.handle.net/2237/10414
work_keys_str_mv	AT sakaimasahiko classeswhoseterminationisdecidable
_version_	1716589635055910912

Similar Items