Autor der Publikation

The M-computations induced by accessibility relations in nonstandard models M of Hoare logic.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Entropy of Rough Relations in Rough Relational Databases., , und . ISAS-SCI (1), Seite 566-570. IIIS, (2001)Rough Set Theory under the Similarity Relations., , , und . ISAS-SCI (1), Seite 405-409. IIIS, (2001)Translating Ontologies to Default Logic., und . AIAI, Volume 187 von IFIP, Seite 145-153. Springer, (2005)A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic., , , und . Theor. Comput. Sci., 368 (1-2): 149-160 (2006)Completeness of Hoare Logic Relative to the Standard Model., , und . SOFSEM, Volume 10139 von Lecture Notes in Computer Science, Seite 119-131. Springer, (2017)One Axiomatic System for the Ontology Revision., , und . Intelligent Information Processing, Volume 228 von IFIP, Seite 91-100. Springer, (2006)An Ontology-Based First-Order Modal Logic., , und . RSCTC, Volume 4259 von Lecture Notes in Computer Science, Seite 517-526. Springer, (2006)ULMM: A Uniform Logic Modeling Method in Intelligent Tutoring Systems., , , , und . KES, Volume 3213 von Lecture Notes in Computer Science, Seite 263-269. Springer, (2004)Concept Approximation in Concept Lattice., , , , und . PAKDD, Volume 2035 von Lecture Notes in Computer Science, Seite 167-173. Springer, (2001)The Limits of Horn Logic Programs., , und . ICLP, Volume 2401 von Lecture Notes in Computer Science, Seite 467. Springer, (2002)