Chrome Extension

WeChat Mini Program

Use on ChatGLM

Log in

Academic Profile User Profile

My Following Paper Collections Browse History

Tensor of Quantitative Equational Theories.

Giorgio Bacci,Radu Mardare,Prakash Panangaden,Gordon D. Plotkin

CALCO（2021）

Cited 5|Views45

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined