Composition of relational productions for plans and programs

DOI10.1007/BF00989669zbMath0419.68014MaRDI QIDQ3853103

Steven A. Vere

Publication date: 1979

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

zbMATH Keywords

program semanticsprogram verificationinformation processingcomposition of program statementscompound artificial intelligence operatorslist-processing semanticsrelational production systemsstructured variables

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Cites Work

• Unnamed Item
• Unnamed Item
• Relational production systems
• On certain formal properties of grammars
• Formal Reductions of the General Combinatorial Decision Problem

This page was built for publication: Composition of relational productions for plans and programs