Formalizing Dijkstra's predicate transformer wp in weak second-order logic

Author： Berghammer R.   Elbl B.   Schmerl U.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.146, Iss.1, 1995-07, pp. : 185-197

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Monadic second-order logic on tree-like structures

By Walukiewicz I.  

Theoretical Computer Science, Vol. 275, Iss. 1, 2002-03 ,pp. : 311-346

Elsevier

Access to resources Recommend Favorite

A PSPACE-complete fragment of second-order linear logic

By Perrier G.  

Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. : 267-289

Elsevier

Access to resources Recommend Favorite

On translations of temporal logic of actions into monadic second-order logic

By Rabinovich A.  

Theoretical Computer Science, Vol. 193, Iss. 1, 1998-02 ,pp. : 197-214

Elsevier

Access to resources Recommend Favorite

On the existence of a modal-logical basis for monadic second-order logic

By Hella Lauri   Tulenheimo Tero  

Journal of Logic and Computation, Vol. 23, Iss. 1, 2013-02 ,pp. : 157-180

Oxford University Press

Access to resources Recommend Favorite

The monadic second-order logic of graphs X: Linear orderings

By Courcelle B.  

Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. : 87-143

Elsevier

Access to resources Recommend Favorite