A language of actions in ontological transition systems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1249.68095
author: Igor S. Anureev
publication date: 2012-05-11T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68T30
zbMATH DE Number: 6033065
zbMATH Keywords: simple assignment
zbMATH Keywords: compound assignment
zbMATH Keywords: redefining action
describes a project that uses: OTSL
MaRDI profile type: Publication
title: A language of actions in ontological transition systems
published in: Joint Bulletin of the Novosibirsk Computing Center (NCC) and A. P. Ershov Institute of Informatics Systems (IIS). Series: Computer Science
description: scientific article; zbMATH DE number 6033065