Object theories over list superstructures

From MaRDI portal

Publication:1954034

Jump to:navigation, search

zbMath1326.68277MaRDI QIDQ1954034

Anton Aleksandrovich Malykh, Andreĭ Valer'evich Mantsivoda

Publication date: 12 June 2013

Published in: Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika (Search for Journal in Brave)

zbMATH Keywords

description logic object-oriented programming Libretto object theory semantic programming datatype

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (2)

Document models ⋮ Locally simple models construction: methodology and practice

This page was built for publication: Object theories over list superstructures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1954034&oldid=14393717"