## Stem substructur$ (all stems)

### 22 papers:

- FoSSaCS-2015-PfenningG
- Polarized Substructural Session Types (FP, DG), pp. 3–22.
- SEFM-2015-VollingerR #algorithm #certification #distributed #problem
- Certification of Distributed Algorithms Solving Problems with Optimal Substructure (KV, WR), pp. 190–195.
- LICS-2013-BenerecettiMM #logic
- Substructure Temporal Logic (MB, FM, AM), pp. 368–377.
- ICFP-2012-KrishnaswamiTDG
- Superficially substructural types (NRK, AT, DD, DG), pp. 41–54.
- CIKM-2012-LiuCBLR #graph #mining
- Utilizing common substructures to speedup tensor factorization for mining dynamic graphs (WL, JC, JB, CL, KR), pp. 435–444.
- KDD-2012-YuSZH #network #semantics
- Query-driven discovery of semantically similar substructures in heterogeneous networks (XY, YS, PZ, JH), pp. 1500–1503.
- OOPSLA-2011-TovP #formal method
- A theory of substructural types and control (JAT, RP), pp. 625–642.
- SIGMOD-2010-ShangLZYW #similarity
- Connected substructure similarity search (HS, XL, YZ, JXY, WW), pp. 903–914.
- ICFP-2010-Crary #higher-order #logic #representation
- Higher-order representation of substructural logics (KC), pp. 131–142.
- LICS-2009-PfenningS #logic programming #order #semantics
- Substructural Operational Semantics as Ordered Logic Programming (FP, RJS), pp. 101–110.
- FLOPS-2008-Kobayashi #program analysis #type system
- Substructural Type Systems for Program Analysis (NK), p. 14.
- ICPR-2008-ChakrabortyE #constraints #invariant #locality #using
- Object localization using affine invariant substructure constraints (IC, AME), pp. 1–5.
- TLCA-2007-KiselyovS #continuation #type system
- A Substructural Type System for Delimited Continuations (OK, CcS), pp. 223–239.
- ICML-2006-TsudaK #clustering #graph #mining
- Clustering graphs by weighted substructure mining (KT, TK), pp. 953–960.
- SIGMOD-2005-YanYH #database #graph #similarity
- Substructure Similarity Search in Graph Databases (XY, PSY, JH), pp. 766–777.
- ICFP-2005-AhmedFM
- A step-indexed model of substructural state (AJA, MF, GM), pp. 78–91.
- LICS-2005-KieronskiO #decidability #first-order #logic
- Small Substructures and Decidability Issues for First-Order Logic with Two Variables (EK, MO), pp. 448–457.
- KDD-1998-DehaspeTK
- Finding Frequent Substructures in Chemical Compounds (LD, HT, RDK), pp. 30–36.
- KDD-1995-DjokoCH
- Analyzing the Benefits of Domain Knowledge in Substructure Discovery (SD, DJC, LBH), pp. 75–80.
- TLCA-1993-Jacobs #semantics #λ-calculus
- Semantics of λ-I and of other substructure λ calculi (BJ0), pp. 195–208.
- ML-1992-HolderCB #fuzzy
- Fuzzy Substructure Discovery (LBH, DJC, HB), pp. 218–223.
- ML-1989-Holder #empirical
- Empirical Substructure Discovery (LBH), pp. 133–136.