Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
928 questions
1k answers
1.4k comments
441 users
Since the existential predecessor is computed on a cube, we could only substitute the primed variables as per slide 69 in VRS-04-TransitionSystems.