مرکز منطقه ای اطلاع رساني علوم و فناوري

Title of article :

Undecidability of partial order logics

Author/Authors :

Rajeev Alur، نويسنده , , Doron Peled، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1999

Pages :

From page :

137

To page :

143

Keywords :

Program correctness , Specification languages , Theory of computation , Program verification , formal languages , concurrency

Journal title :

Information Processing Letters

Serial Year :

1999

Journal title :

Information Processing Letters

Record number :

129031

Link To Document :