Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
Hi,
If we translate the LTL to Lo1, will it also satisfy the translation to Lo2? if not then what is the valid way of translation to Lo2?