Equivalences Among Relational Expressions with the Union and Difference Operators 论文

1980Journal of the ACM引用 371
DOIPDF
semigroups and automata theoryFormal Methods in VerificationLogic, programming, and type systems
Logic, programming, and type systemssemigroups and automata theoryFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Equivalences Among Relational Expressions with the Union and Difference Operators · 相关文章

暂无数据