scientific article; zbMATH DE number 512377

MaRDI QIDQ4281360zbMATH OpenFDO

Authors Jochen Burghardt

Publication date 10 February 1994

zbMATH Keywords

algebraic specifications

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• Set-theoretic approaches to granular computing
• ON THE COMPUTING POWER OF PROGRAMS WITH SETS
• Ordered sets in the calculus of data structures
• Towards answer set programming with sorts
• scientific article; zbMATH DE number 3918620
• Enumerating order types for small sets with applications
• scientific article; zbMATH DE number 4014042
• Deductive synthesis of sorting programs
• scientific article; zbMATH DE number 6157240
• Publication:3478405

Cited in

(1)

• Regular substitution sets: A means of controlling E-unification

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281360)