TOTALITY FOR MIXED INDUCTIVE AND COINDUCTIVE TYPES.

Saved in:
Bibliographic Details
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!
You must be logged in first