logo
Term rewriting

会议结果 (1)

Conference on Algebra and Coalgebra in Computer Science (CALCO)

Rank: BOffline
University of Strathclyde, UK
Jun 16, 2025 - Jun 18, 2025
Systems theory and computational modelsSystem specification and verificationFormal testing and quality assurance+52 更多