Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
2002-2021 (6)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
ICTAC(2) CADE(1) Game Stud.(1) ICFP(1) RTA(1)
Authors
Silvio Ranise(2) Alexandre Pilkiewicz(1) Benjamin C. Pierce(1) Christelle Scharff(1) Christophe Ringeissen(1) Duc-Khanh Tran(1) Harald Rueß(1) J. Nathan Foster(1) Natarajan Shankar(1) P. S. Berge(1) Rebecca K. Britt(1) Sava Krstic(1) Sylvain Conchon(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
170Silvio Ranise, Christelle Scharff Building Extended Canonizers by Graph-Based Deduction. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
113J. Nathan Foster, Alexandre Pilkiewicz, Benjamin C. Pierce Quotient lenses. Search on Bibsonomy ICFP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bidirectional languages, bijective languages, boomerang, regular string transducers, equivalences, lenses, view update problem, canonizers, regular types
51Sava Krstic, Sylvain Conchon Canonization for Disjoint Unions of Theories. Search on Bibsonomy CADE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
51Natarajan Shankar, Harald Rueß Combining Shostak Theories. Search on Bibsonomy RTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42P. S. Berge, Rebecca K. Britt Dance With Me, Claude: Creators, Catalyzers and Canonizers in the Fire Emblem: Three Houses Slash-Ship Fandom. Search on Bibsonomy Game Stud. The full citation details ... 2021 DBLP  BibTeX  RDF
25Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn. Search on Bibsonomy ICTAC The full citation details ... 2004 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