Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1990 (1) 1993 (2) 2007 (1) 2009 (1)
Publication types (Num. hits)
article(2) inproceedings(3)
Venues (Conferences, Journals, ...)
ACM Trans. Program. Lang. Syst...(2) LICS(1) PPDP(1) TLCA(1)
Authors
A. J. Kfoury(1) Aleksy Schubert(1) Brad Lushman(1) Fritz Henglein(1) Gordon V. Cormack(1) Jerzy Tiuryn(1) Jochen Dörre(1) Ken-etsu Fujita(1) Pawel Urzyczyn(1) William C. Rounds(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 4 occurrences of 4 keywords
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
160Brad Lushman, Gordon V. Cormack A larger decidable semiunification problem. Search on Bibsonomy PPDP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF acyclic semiunification, semiunification, decidability
59Ken-etsu Fujita, Aleksy Schubert Existential Type Systems with No Types in Terms. Search on Bibsonomy TLCA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
42Jochen Dörre, William C. Rounds On Subsumption and Semiunification in Feature Algebras Search on Bibsonomy LICS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
29A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn Type Reconstruction in the Presence of Polymorphic Recursion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF fixpoint operator, polymorphic abstraction, polymorphic recursion, semiunification
29Fritz Henglein Type Inference with Polymorphic Recursion. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF semiunification, polymorphism, type inference, recursion
Displaying result #1 - #5 of 5 (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