scientific article; zbMATH DE number 604880

zbMATH Open0810.68075MaRDI QIDQ4299858FDOQ4299858

Authors: Cyrus F. Nourani 

Publication date: 12 July 1994

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

Recommendations

• Completeness of Proof Systems for Equational Specifications
• Equational type logic
• Equational theories for inductive types
• A completeness result for inequational reasoning in a full higher-order setting
• scientific article; zbMATH DE number 3938562

zbMATH Keywords

equational incompleteness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (8)

• Total objects in inductively defined types
• The underdetermination of typings
• Completeness of Proof Systems for Equational Specifications
• Title not available (Why is that?)
• Partial Types and Intervals
• The role of compactification theory in the type problem
• Types, tableaus, and Gödel's God
• Type theory should eat itself

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