%0 Journal Article
%T A Non-Recursive Algorithm Computing Set Expressions
%A Lian Lin
%A Zhang Yili
%A Tang Changjie
%J 计算机科学技术学报
%D 1988
%I 
%X This paper concerns set expressions satisfying some constraints.Although algorithmsprocessing expressions(for every kind)have been proposed in compilers,almost all of them usestacks and recursions,and adopt complicated parsing techniques.However,the simplification ofset expressions can be done easily by its special characteristics.In this paper,we propose linear,nonrecursive,and thus efficient algorithms simplifying set expressions.The method can be wellused in proposition calculus.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=F57FEF5FAEE544283F43708D560ABF1B&aid=811B42DAAC23DA7B2EF02E03D58E0C09&yid=0702FE8EC3581E51&vid=38B194292C032A66&iid=E158A972A605785F&sid=85002451B65CE0D1&eid=EC34D52BE81085CE&journal_id=1000-9000&journal_name=计算机科学技术学报&referenced_num=0&reference_num=0