Showing 1 - 2 results of 2 for search 'Ji-Yu Liu', query time: 0.01s Refine Results
  1. 1
    Research on group type theory and its functorial semantic models in category logic.

    Research on group type theory and its functorial semantic models in category logic. by Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Research on group type theory and its functorial semantic models in category logic

    Research on group type theory and its functorial semantic models in category logic by Jian-Gang Tang, Yimamujiang Aishan, Ji-Yu Liu, Jia-Yin Peng

    Published 2025-01-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: