scientific article; zbMATH DE number 7315003

zbMATH Open1455.68123arXiv1010.5569MaRDI QIDQ4963913

Ivan Lanese

Publication date: 24 February 2021

Full work available at URL: https://arxiv.org/abs/1010.5569

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Narrative planning: compilations to classical planning 👍 👎
• Generating narrative forms 👍 👎
• Dynamic Versus Classical Consequence 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

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