scientific article; zbMATH DE number 3992920

zbMath0613.68011MaRDI QIDQ4720772

No author found.

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

PROLOGhigher-order logicprocedurelogic programmingimperative programmingdata typesstructured programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (1)

A logico-algebraic approach to the model theory of knowledge

This page was built for publication: