scientific article; zbMATH DE number 4008628

MaRDI QIDQ3759012zbMATH OpenFDO

Authors Ralph Tindell, Stephen L. Bloom

Publication date 1987

zbMATH Keywords

iteration theoryzero congruence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Enriched categories (over closed or monoidal categories) (18D20)

Recommendations

• A note on congruences
• scientific article; zbMATH DE number 3232858
• A note on \(Z\)-numbers
• scientific article; zbMATH DE number 1205962
• Congruence modularity at 0
• A note on quadratic congruences
• A note on Kummer's congruences
• Note on Sus̆kevic̆’s problem on zero divisors
• A note on simultaneous congruences
• scientific article; zbMATH DE number 1202449

Cited in

(4)

• scientific article; zbMATH DE number 2010115 (Why is no real title available?)
• Some quasi-varieties of iteration theories
• Congruence modularity at 0
• Note on Sus̆kevic̆’s problem on zero divisors

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