On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic

Abstract

No abstract available. No abstract was captured for this paper when its proceedings were scraped - most often an older edition published without one online. How the corpus is built. Papers without an abstract are not sent to the classifier, which is why this one carries no topics.

Authors