( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic.

, , и . Frontiers Comput. Sci., 10 (4): 717-725 (2016)

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.

Yuefei Zeng

Yuefei Liu

Yuefei Liu

Yuefei Liu

Yuefei Liu

 

Другие публикации лиц с тем же именем

The Entropy of Rough Relations in Rough Relational Databases., , и . ISAS-SCI (1), стр. 566-570. IIIS, (2001)Rough Set Theory under the Similarity Relations., , , и . ISAS-SCI (1), стр. 405-409. IIIS, (2001)Translating Ontologies to Default Logic., и . AIAI, том 187 из IFIP, стр. 145-153. Springer, (2005)The Limits of Horn Logic Programs., , и . ICLP, том 2401 из Lecture Notes in Computer Science, стр. 467. Springer, (2002)ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems., , , , и . KES, том 3213 из Lecture Notes in Computer Science, стр. 263-269. Springer, (2004)Concept Approximation in Concept Lattice., , , , и . PAKDD, том 2035 из Lecture Notes in Computer Science, стр. 167-173. Springer, (2001)A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic., , , и . Theor. Comput. Sci., 368 (1-2): 149-160 (2006)Completeness of Hoare Logic Relative to the Standard Model., , и . SOFSEM, том 10139 из Lecture Notes in Computer Science, стр. 119-131. Springer, (2017)An Ontology-Based First-Order Modal Logic., , и . RSCTC, том 4259 из Lecture Notes in Computer Science, стр. 517-526. Springer, (2006)Further Study of the Fuzzy Reasoning Based on Propositional Modal Logic., , и . RSKT, том 4062 из Lecture Notes in Computer Science, стр. 162-169. Springer, (2006)