مرکز منطقه ای اطلاع رساني علوم و فناوري - “Everywhere” in predicate algebra and modal logic

Title of article :

“Everywhere” in predicate algebra and modal logic

Author/Authors :

Rutger M. Dijkstra، نويسنده ,

Issue Information :

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

Pages :

From page :

237

To page :

243

Keywords :

Everywhere operator , Predicate algebra , Logic , Specification languages

Journal title :

Information Processing Letters

Serial Year :

1996

Journal title :

Information Processing Letters

Record number :

128491

Link To Document :