Pages that link to "Item:Q866135"
From MaRDI portal
The following pages link to A unified approximate reasoning theory suitable for both propositional calcus system\(\mathcal L^\ast\) and predicate calculus system \(\mathcal K^\ast\) (Q866135):
Displayed 5 items.
- Theory of \((n)\) truth degrees of formulas in modal logic and a consistency theorem (Q2267005) (← links)
- Topology on the set of \(R_{0}\) semantics for \(R_{0}\) algebras (Q2476655) (← links)
- Theory of truth degrees of propositions in the logic system \(L_{n}^{*}\) (Q2507490) (← links)
- Distinguishing Attack on the Secret-Prefix MAC Based on the 39-Step SHA-256 (Q3634493) (← links)
- Second Preimage Attack on 5-Pass HAVAL and Partial Key-Recovery Attack on HMAC/NMAC-5-Pass HAVAL (Q3637128) (← links)