Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for recursor with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1989 (2) 1999 (2) 2000 (1) 2007 (1)
Publication types (Num. hits)
article(2) inproceedings(4)
Venues (Conferences, Journals, ...)
Arch. Math. Log.(1) ICALP(1) J. ACM(1) LICS(1) Logic at Botik(1) RTA(1)
Authors
Jean-Pierre Jouannaud(3) Albert Rubio(2) Andreas Weiermann(1) Arnold Beckmann(1) Corrado Böhm(1) Frédéric Blanqui(1) Mitsuhiro Okada(1) Yiannis N. Moschovakis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
58Jean-Pierre Jouannaud, Albert Rubio Polymorphic higher-order recursive path orderings. Search on Bibsonomy J. ACM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Automated termination prover tool, Gödel's polymorphic recursor, higher-order rewriting, termination orderings, typed lambda calculus
33Corrado Böhm Subduing Self-Application. Search on Bibsonomy ICALP The full citation details ... 1989 DBLP  DOI  BibTeX  RDF combinatory and lambda-algebras, typability, strong normalizability, recursor, permutator, iterator, Self-application, recursive schemes
25Arnold Beckmann, Andreas Weiermann Characterizing the elementary recursive functions by a fragment of Gödel's T. Search on Bibsonomy Arch. Math. Log. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Jean-Pierre Jouannaud, Albert Rubio The Higher-Order Recursive Path Ordering. Search on Bibsonomy LICS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada The Calculus of algebraic Constructions. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Yiannis N. Moschovakis A Mathematical Modeling of Pure, Recursive Algorithms. Search on Bibsonomy Logic at Botik The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license