scientific article

zbMATH Open0578.68028MaRDI QIDQ3700827

Marek A. Suchenek

Publication date: 1986

Title of this publication is not available (Why is that?)

zbMATH Keywords

provabilitycompact fragments of non-compact logicfragments of Floyd- Hoare logic

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (5)

Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Logic programs as compact denotations. ⋮ Compact bracket abstraction in combinatory logic ⋮ Title not available (Why is that?)

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 Q3700827)