TOTALITY FOR MIXED INDUCTIVE AND COINDUCTIVE TYPES.
Saved in:
| Title: | TOTALITY FOR MIXED INDUCTIVE AND COINDUCTIVE TYPES. |
|---|---|
| Authors: | HYVERNAT, PIERRE1, pierre.hyvernat@univ-smb.fr |
| Source: | Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 3, p1-24, 24p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!