Predicate transformations in a k-valued logic
From MaRDI portal
Recommendations
Cited in
(5)- scientific article; zbMATH DE number 4041872 (Why is no real title available?)
- Generic transformations of predicate encodings: constructions and applications
- scientific article; zbMATH DE number 437436 (Why is no real title available?)
- scientific article; zbMATH DE number 3950489 (Why is no real title available?)
- scientific article; zbMATH DE number 512951 (Why is no real title available?)
This page was built for publication: Predicate transformations in a k-valued logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1122569)