共 50 条
- [31] Implementation Correctness for Replicated Data Types, Categorically THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, 2020, 12545 : 283 - 303
- [34] Compositional truth with propositional tautologies and quantifier-free correctness Archive for Mathematical Logic, 2024, 63 : 239 - 257
- [35] Students' qualitative judgements about the quality of teaching ZEITSCHRIFT FUR PADAGOGISCHE PSYCHOLOGIE, 1996, 10 (3-4): : 151 - 152