Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase Non-derivability (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2001 (2) 2005 (1) 2008 (2) 2009 (1)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
TLCA(2) CLIMA(1) Data Min. Knowl. Discov.(1) ECML/PKDD (1)(1) ESORICS(1)
Authors
Chedy Raïssi(2) Pascal Poncelet(2) Toon Calders(2) Aida Pliuskeviciene(1) Cristian Ene(1) Gilles Dowek(1) Herman Geuvers(1) Regimantas Pliuskevicius(1) Van Chan Ngo(1) Yassine Lakhnech(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 3 occurrences of 3 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
57Chedy Raïssi, Toon Calders, Pascal Poncelet Mining conjunctive sequential patterns. Search on Bibsonomy Data Min. Knowl. Discov. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Non-derivability, Sequential patterns, Deduction, Condensed representation
22Chedy Raïssi, Toon Calders, Pascal Poncelet Mining Conjunctive Sequential Patterns. Search on Bibsonomy ECML/PKDD (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
19Regimantas Pliuskevicius, Aida Pliuskeviciene Decision Procedure for a Fragment of Mutual Belief Logic with Quantified Agent Variables. Search on Bibsonomy CLIMA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Cristian Ene, Yassine Lakhnech, Van Chan Ngo Formal Indistinguishability Extended to the Random Oracle Model. Search on Bibsonomy ESORICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Herman Geuvers Induction Is Not Derivable in Second Order Dependent Type Theory. Search on Bibsonomy TLCA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Gilles Dowek The Stratified Foundations as a Theory Modulo. Search on Bibsonomy TLCA The full citation details ... 2001 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