Author： Podelski A. Smolka G.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.173, Iss.1, 1997-02, pp. : 235-252
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
E-Government for Simplification
SourceOECD Science & Information Technology, Vol. 2008, Iss. 9, 2008-12 ,pp. :
Access to resources
Recommend
Simplification of the CMCCAT97
By Li Changjun Luo M. Ronnier Rigg B.
Color and Imaging Conference, Vol. 2000, Iss. 1, 2000-01 ,pp. :
Text simplification resources for Spanish
By Bott Stefan Saggion Horacio
Language Resources and Evaluation, Vol. 48, Iss. 1, 2014-03 ,pp. :
Simplification of boolean verification conditions
Theoretical Computer Science, Vol. 239, Iss. 1, 2000-05 ,pp. :
Entertaining Situated Messaging at Home
By Perry Mark Rachovides Dorothy
Computer Supported Cooperative Work (CSCW), Vol. 16, Iss. 1-2, 2007-04 ,pp. :