|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 15 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Christopher H. Broadbent, C.-H. Luke Ong |
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes.  |
FOSSACS  |
2009 |
DBLP DOI BibTeX RDF |
Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme |
| 1 | Tarmo Uustalu, Varmo Vene |
The Recursion Scheme from the Cofree Recursive Comonad. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno |
Higher-order multi-parameter tree transducers and recursion schemes for program verification. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
higher-order tree transducers, tree-processing programs, program verification, higher-order recursion scheme |
| 1 | Naoki Kobayashi |
Types and higher-order recursion schemes for verification of higher-order programs. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
model checking, type system, higher-order recursion scheme |
| 1 | Toshiyasu Arai, Naohi Eguchi |
A new function algebra of EXPTIME functions by safe nested recursion. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
EXPTIME, Implicit computational complexity |
| 1 | Naoki Kobayashi, C.-H. Luke Ong |
A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes. |
LICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi |
Types and Recursion Schemes for Higher-Order Program Verification. |
APLAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jirí Adámek, Stefan Milius, Jiri Velebil |
Semantics of Higher-Order Recursion Schemes. |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes |
| 1 | Moshe Idan, Jason L. Speyer |
Cauchy estimation for linear scalar systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Automata and Recursion Schemes. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Higher-order pushdown automata, game semantics, higher-order recursion schemes |
| 1 | Heping Ding |
Fast Affine Projection Adaptation Algorithms With Stable and Robust Symmetric Linear System Slovers. |
IEEE Transactions on Signal Processing |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Glimming |
Parametric (Co)Iteration vs. Primitive Direcursion. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | C.-H. Luke Ong |
On Model-Checking Trees Generated by Higher-Order Recursion Schemes. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | C.-H. Luke Ong |
Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract). |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Abel |
Towards Generic Programming with Sized Types. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luis Freire, Enrique Freire Brañas, Antonio Blanco |
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. |
EUROCAST |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Oitavem |
Implicit Characterizations of Pspace. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
implicit characterizations, computational complexity, term rewriting, Pspace |
| 1 | James L. Caldwell |
Extracting General Recursive Program Schemes in Nuprl's Type Theory. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Margarita V. Korovina, Oleg V. Kudinov |
Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory. |
CCA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Giegerich |
Explaining and Controlling Ambiguity in Dynamic Programming. |
CPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Clote |
A Safe Recursion Scheme for Exponential Time. |
LFCS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor K. Sabelfeld, Andrei Sabelfeld |
Simple Semantic Analysis Problems for Functional Programs. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
parameter dependence, static analysis, approximation, abstract interpretation, flow analysis, strictness analysis, recursion scheme |
| 1 | Thomas Schwentick |
Algebraic and Logical Characterizations of Deterministic Linear Time Classes. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen van Bakel, Maribel Fernández |
(Head-) Normalization of Typeable Rewrite Systems. |
RTA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | M. D. Gladstone |
Simplifications of the Recursion Scheme. |
J. Symb. Log. |
1971 |
DBLP BibTeX RDF |
|
| 1 | M. D. Gladstone |
A Reduction of the Recursion Scheme. |
J. Symb. Log. |
1967 |
DBLP BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")