Semantics of value recursion for Monadic Input/Output

By Erkök Levent   Launchbury John   Moran Andrew  

RAIRO - Theoretical Informatics and Applications, Vol. 36, Iss. 2, 2010-03 ,pp. : 155-180

Edp Sciences

Access to resources Recommend Favorite

Convergence, Noninstrumental Value and the Semantics of 'Love': Reply to Norton

By McShane Katie  

Environmental Values, Vol. 17, Iss. 1, 2008-02 ,pp. : 15-22

White Horse Press

Access to resources Recommend Favorite

Convergence, Noninstrumental Value and the Semantics of 'Love': Comment on McShane

By Norton Bryan G.  

Environmental Values, Vol. 17, Iss. 1, 2008-02 ,pp. : 5-14

White Horse Press

Access to resources Recommend Favorite

On the Decidability of the Equivalence Problem for Monadic RecursivePrograms

By Zakharov Vladimir A.  

RAIRO - Theoretical Informatics and Applications, Vol. 34, Iss. 2, 2010-03 ,pp. : 157-171

Edp Sciences

Access to resources Recommend Favorite

Comparing the succinctness of monadic query languages over finite trees

By Grohe Martin   Schweikardt Nicole  

RAIRO - Theoretical Informatics and Applications, Vol. 38, Iss. 4, 2010-03 ,pp. : 343-373

Edp Sciences

Access to resources Recommend Favorite