Ontological transition systems structures

zbMATH Open1249.68094MaRDI QIDQ2882982

Igor S. Anureev

Publication date: 11 May 2012

Published in: Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science (Search for Journal in Brave)

zbMATH Keywords

concept expressionobject contentunlabeled transition system

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Knowledge representation (68T30)

Related Items (1)

Operational ontological approach to formal programming language specification

Uses Software

• AsmL
• XASM
• OTSL

This page was built for publication: Ontological transition systems structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2882982)