Botero, William Zuluaga
- Some modal and temporal translations of generalized basic logic
2021/06/10 by Fussner, Wesley, Botero, William Zuluaga · 1 citation
#03B45 (Secondary) #03B50 (Primary) 03G25 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)