(Q4650732)
Statements
ACM Trans. Comput. Log. (English)
1 reference
17 January 2021
ACM Transactions on Computational Logic (English)
2 references
2
September 2019
2 references
Identifiers
ACM transactions on computational logic
1 reference
ACM transactions on computational logic (Online)
1 reference
5679
0 references