Author of the publication

Loop-separable programs and their first-order definability.

, , , and . Artif. Intell., 175 (3-4): 890-913 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

NNF and NNPrF - Fuzzy Petri Nets based on neural network for knowledge representation, reasoning and learning., and . J. Comput. Sci. Technol., 11 (2): 133-149 (1996)General default logic., , and . Ann. Math. Artif. Intell., 57 (2): 125-160 (2009)Criterion of Chaos for Switched Linear Systems with Controllers., , and . I. J. Bifurcation and Chaos, 20 (12): 4103-4109 (2010)A new sensor fusion framework to deal with false detections for low-cost service robot localization., , , and . ROBIO, page 197-202. IEEE, (2013)Nonparametric background model based clutter map for X-band marine radar., , , , , and . ICIP, page 123-127. IEEE, (2015)Hopf Bifurcation Analysis in an Intracellular Calcium Oscillation Model., , and . BIC-TA, volume 212 of Advances in Intelligent Systems and Computing, page 613-621. Springer, (2013)The monitoring of water quality using remote sensing at Taihu Lake., , , and . IGARSS, page 1605-1607. IEEE, (2005)Statistical analysis of temporal coherence function and its application in howling detection., , , , and . DSP, page 856-861. IEEE, (2014)New partial update robust kernel least mean square adaptive filtering algorithm., , and . DSP, page 852-855. IEEE, (2014)Agent-Based Rating Oriented Information Provision and Reallocation for High-Assurance in Open and Dynamic Environments., , , , and . ICDCS Workshops, page 656-661. IEEE Computer Society, (2004)