Equivalence Transformations of Quantifiers
Keyword(s):
1994 ◽
Vol 15
(4)
◽
pp. 1226-1255
◽
Keyword(s):
2016 ◽
Vol 40
◽
pp. 71-79
◽
Keyword(s):
Keyword(s):
Keyword(s):
2019 ◽
Vol 42
(16)
◽
pp. 5522-5534
2018 ◽
Vol 63
◽
pp. 12-20
◽