scientific article
From MaRDI portal
Publication:3759012
zbMATH Open0622.18004MaRDI QIDQ3759012FDOQ3759012
Stephen L. Bloom, Ralph Tindell
Publication date: 1987
Title of this publication is not available (Why is that?)
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)
Cited In (4)
Recommendations
- A note on congruences ๐ ๐
- Title not available (Why is that?) ๐ ๐
- A note on \(Z\)-numbers ๐ ๐
- Title not available (Why is that?) ๐ ๐
- 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 ๐ ๐
- 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 Q3759012)