Look at this paper:

E. Chang, Z. Manna, A. Pnueli.
"Characterization of Temporal Property Classes"

The proof of Theorem 8 at page 8 says: "We will outline the proof which appears in the full version of this paper".

However I cannot find any "full version" of the paper on any search engine.

Do you know which is the full version of the paper where I can find the full proof of this theorem?

  • $\begingroup$ Well, wouldn't it better to ask the authors? $\endgroup$ – Bartosz Bednarczyk Jun 7 at 15:04
  • $\begingroup$ Hm.. Good point :) $\endgroup$ – gigabytes Jun 7 at 15:15
  • $\begingroup$ But, Manna died last year. Pnueli died in 2009, and I don’t know about Chang. $\endgroup$ – gigabytes Jun 7 at 15:41
  • $\begingroup$ Ah, I see. Now it makes more sense. I scanned the list of different versions of the paper here: scholar.google.com/… but I can't see anything useful. My guess is that they wanted to write a full version of the paper but they were busy with other things and finally forgot about it. $\endgroup$ – Bartosz Bednarczyk Jun 7 at 16:08
  • $\begingroup$ I'm afraid you're right... :/ $\endgroup$ – gigabytes Jun 7 at 16:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.