Author: Taarit Kaouther Ibn Ksouri Mekki
Publisher: Emerald Group Publishing Ltd
ISSN: 0332-1649
Source: COMPEL: Int J for Computation and Maths. in Electrical and Electronic Eng., Vol.31, Iss.6, 2012-11, pp. : 1558-1574
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
Completeness of a first-order temporal logic with time-gaps
Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. :
The first-order theory of linear one-step rewriting is undecidable
By Treinen R.
Theoretical Computer Science, Vol. 208, Iss. 1, 1998-11 ,pp. :