Corrigendum to ``Semantics of a declarative language

DOI10.1016/0020-0190(87)90234-1zbMath0621.68003OpenAlexW4210388886MaRDI QIDQ1090099

Grigori Mints, É. Kh. Tyugu

Publication date: 1987

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(87)90234-1

zbMATH Keywords

logic programmingprogram synthesisintuitionistic propositional calculusdata semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

This page was built for publication: Corrigendum to ``Semantics of a declarative language