Title of article

“Everywhere” in predicate algebra and modal logic

Author/Authors

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

Issue Information

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

Pages

7

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