Recursion occurs when a thing is defined in terms of itself or of its type. Recursion is used in a variety of disciplines ranging from linguistics toâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2009

Highly Cited

2009

- Naoki Kobayashi, C.-H. Luke Ong
- 2009 24th Annual IEEE Symposium on Logic Inâ€¦
- 2009

The model checking of higher-order recursion schemes has important applications in the verification of higher-order programs. Ongâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- C.-H. Luke Ong
- 21st Annual IEEE Symposium on Logic in Computerâ€¦
- 2006

We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated byâ€¦Â (More)

Is this relevant?

2003

2003

- Tina GÃ¶tschi, Ian Douglas Sanders, Vashti Galpin
- SIGCSE
- 2003

Recursion is a fundamental concept in Computer Science. A student's knowledge of recursion can be termed their <i>mental model</iâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Dorin Comaniciu, Peter Meer
- IEEE Trans. Pattern Anal. Mach. Intell.
- 2002

A general nonparametric technique is proposed for the analysis of a complex multimodal feature space and to delineate arbitrarilyâ€¦Â (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Peter Buneman, Mary F. FernÃ¡ndez, Dan Suciu
- The VLDB Journal
- 2000

Abstract. This paper presents structural recursion as the basis of the syntax and semantics of query languages forâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- Morten H. Christiansen, Nick Chater
- Cognitive Science
- 1999

Naturally occurring speech contains only a limited amount of complex recursive structure, and this is re ected in the empiricallyâ€¦Â (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Cristopher Moore
- Theor. Comput. Sci.
- 1996

We de ne a class of recursive functions on the reals analogous to the classical recursive functions on the natural numbersâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

- Fritz Henglein
- ACM Trans. Program. Lang. Syst.
- 1993

The Damas-Milner Calculus is the typed A-calculus underlying the type system for ML and several other strongly typed polymorphicâ€¦Â (More)

Is this relevant?

Highly Cited

1993

Highly Cited

1993

This paper deals with a new class of convolutional codes called Turbo-codes, whose performances in terms of Bit Error Rate (BERâ€¦Â (More)

Is this relevant?

Highly Cited

1987

Highly Cited

1987

- Isabel F. Cruz, Alberto O. Mendelzon, Peter T. Wood
- SIGMOD Conference
- 1987

We define a language G for querying data represented as a labeled graph <italic>G</italic>. By considering <italic>G</italic> asâ€¦Â (More)

Is this relevant?