-
1
-
-
84948946239
-
Higher-order pushdown trees are easy
-
Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. Springer, Heidelberg
-
Knapik, T., Niwinski, D., Urzyczyn, P.: Higher-order pushdown trees are easy. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol. 2303, pp. 205-222. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2303
, pp. 205-222
-
-
Knapik, T.1
Niwinski, D.2
Urzyczyn, P.3
-
2
-
-
34547348202
-
On model-checking trees generated by higher-order recursion schemes
-
IEEE Computer Society Press, Los Alamitos (2006)
-
Ong, C.-H.L.: On model-checking trees generated by higher-order recursion schemes. In: LICS 2006, pp. 81-90. IEEE Computer Society Press, Los Alamitos (2006)
-
(2006)
LICS
, pp. 81-90
-
-
Ong, C.-H.L.1
-
4
-
-
77149159125
-
Higher-order multi-parameter tree transducers and recursion schemes for program verification
-
Kobayashi, N., Tabuchi, N., Unno, H.: Higher-order multi-parameter tree transducers and recursion schemes for program verification. In: POPL, pp. 495-507 (2010)
-
(2010)
POPL
, pp. 495-507
-
-
Kobayashi, N.1
Tabuchi, N.2
Unno, H.3
-
5
-
-
70350599810
-
A type system equivalent to the modal mu-calculus model checking of higher-order recursion schemes
-
IEEE Computer Society Press, Los Alamitos
-
Kobayashi, N., Ong, C.-H.L.: A type system equivalent to the modal mu-calculus model checking of higher-order recursion schemes. In: Proceedings of LICS 2009, pp. 179-188. IEEE Computer Society Press, Los Alamitos (2009)
-
(2009)
Proceedings of LICS 2009
, pp. 179-188
-
-
Kobayashi, N.1
Ong, C.-H.L.2
-
6
-
-
0029406599
-
Intersection type assignment systems
-
van Bakel, S.: Intersection type assignment systems. Theor. Comput. Sci. 151(2), 385-435 (1995)
-
(1995)
Theor. Comput. Sci.
, vol.151
, Issue.2
, pp. 385-435
-
-
Van Bakel, S.1
-
9
-
-
70450225396
-
Model-checking higher-order functions
-
ACM Press, New York
-
Kobayashi, N.: Model-checking higher-order functions. In: Proceedings of PPDP 2009. ACM Press, New York (2009)
-
(2009)
Proceedings of PPDP 2009
-
-
Kobayashi, N.1
-
11
-
-
34547346635
-
On typability for rank-2 intersection types with polymorphic recursion
-
IEEE Computer Society, Los Alamitos
-
Terauchi, T., Aiken, A.: On typability for rank-2 intersection types with polymorphic recursion. In: LICS, pp. 111-122. IEEE Computer Society, Los Alamitos (2006)
-
(2006)
LICS
, pp. 111-122
-
-
Terauchi, T.1
Aiken, A.2
-
12
-
-
84888857398
-
Deciding monadic theories of hyperalgebraic trees
-
Abramsky, S. (ed.) TLCA 2001. Springer, Heidelberg
-
Knapik, T., Niwinski, D., Urzyczyn, P.: Deciding monadic theories of hyperalgebraic trees. In: Abramsky, S. (ed.) TLCA 2001. LNCS, vol. 2044, pp. 253-267. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2044
, pp. 253-267
-
-
Knapik, T.1
Niwinski, D.2
Urzyczyn, P.3
-
13
-
-
24944481687
-
The monadic second order theory of trees given by arbitrary level-two recursion schemes is decidable
-
Urzyczyn, P. (ed.) TLCA 2005. Springer, Heidelberg
-
Aehlig, K., de Miranda, J.G., Ong, C.-H.L.: The monadic second order theory of trees given by arbitrary level-two recursion schemes is decidable. In: Urzyczyn, P. (ed.) TLCA 2005. LNCS, vol. 3461, pp. 39-54. Springer, Heidelberg (2005)
-
(2005)
LNCS
, vol.3461
, pp. 39-54
-
-
Aehlig, K.1
De Miranda, J.G.2
Ong, C.-H.L.3
-
14
-
-
0142058271
-
Infinite intersection types
-
Bonsangue, M.M., Kok, J.N.: Infinite intersection types. Inf. Comput. 186(2), 285-318 (2003)
-
(2003)
Inf. Comput.
, vol.186
, Issue.2
, pp. 285-318
-
-
Bonsangue, M.M.1
Kok, J.N.2
-
16
-
-
43149085308
-
Types for hereditary head normalizing terms
-
Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. Springer, Heidelberg
-
Tatsuta, M.: Types for hereditary head normalizing terms. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol. 4989, pp. 195-209. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.4989
, pp. 195-209
-
-
Tatsuta, M.1
-
17
-
-
51549099441
-
Types for hereditary permutators
-
IEEE Computer Society, Los Alamitos
-
Tatsuta, M.: Types for hereditary permutators. In: LICS, pp. 83-92. IEEE Computer Society, Los Alamitos (2008)
-
(2008)
LICS
, pp. 83-92
-
-
Tatsuta, M.1
|