权威例句
On graph-theoretic lemmata and complexity classesTwo Pumping Lemmata for Petri NetsValiant-Vazirani Lemmata for Various LogicsIndex Thomisticus : Sancti Thomae Aquinatis operum omnium indices et concordantiae in quibus verborum omnium et singulorum formae et...Dominating sets in planar graphs:branch-width and exponential speed-upTheorema : Towards computer-aided mathematical theory explorationA natural extension of natural deductionStochastic Differential Games and Viscosity Solutions of Hamilton-Jacobi-Bellman-Isaacs EquationsA Unified Continuous Greedy Algorithm for Submodular MaximizationSharp regularity for functionals with ( p , q ) growth