Semantics of production systems
From MaRDI portal
Publication:1110314
DOI10.1016/0890-5401(87)90016-2zbMath0656.68025MaRDI QIDQ1110314
Franco Turini, Giuliano Pacini
Publication date: 1987
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0890-5401(87)90016-2
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Cites Work