Public

Temporal logic with reference pointers

Published in Lecture notes in computer science • Nov 23, 2005

NobleIDNI9P57W79R51S78

Authors:

Valentin Goranko

Subject

Undecidable problem

Expressive power

Programming language

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!