diff --git a/metadata/releases.toml b/metadata/releases.toml --- a/metadata/releases.toml +++ b/metadata/releases.toml @@ -1,7079 +1,7293 @@ [ADS_Functor] 2020-04-27 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [AI_Planning_Languages_Semantics] 2020-10-30 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [AODV] 2014-11-01 = "2014" 2014-11-03 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [AVL-Trees] 2004-03-19 = "2003" 2004-04-20 = "2004" 2004-05-21 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [AWN] 2014-03-15 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Abortable_Linearizable_Modules] 2012-03-02 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Abs_Int_ITP2012] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Abstract-Hoare-Logics] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Abstract-Rewriting] 2010-06-17 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Abstract_Completeness] 2014-04-16 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Abstract_Soundness] 2017-02-13 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Ackermanns_not_PR] +2022-03-24 = "2021-1" + +[Actuarial_Mathematics] +2022-01-25 = "2021-1" [Adaptive_State_Counting] 2019-08-19 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Affine_Arithmetic] 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Aggregation_Algebras] 2018-09-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Akra_Bazzi] 2015-07-15 = "2015" 2015-07-24 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Algebraic_Numbers] 2015-12-22 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Algebraic_VCs] 2016-06-18 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Allen_Calculus] 2016-09-29 = "2016" 2016-10-05 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2019-06-28 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Amicable_Numbers] 2020-08-15 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Amortized_Complexity] 2014-08-28 = "2014" 2015-05-19 = "2014" 2015-05-27 = "2015" 2015-05-28 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [AnselmGod] 2017-09-08 = "2016-1" 2017-09-11 = "2016-1" 2017-09-18 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Applicative_Lifting] 2015-12-22 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Approximation_Algorithms] 2020-01-16 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Architectural_Design_Patterns] 2018-03-01 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Aristotles_Assertoric_Syllogistic] 2019-10-17 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Arith_Prog_Rel_Primes] 2020-02-10 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [ArrowImpossibilityGS] 2009-04-29 = "2009" 2009-09-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Attack_Trees] 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Auto2_HOL] 2018-11-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Auto2_Imperative_HOL] 2019-01-22 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [AutoFocus-Stream] 2011-02-24 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-08 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Automated_Stateful_Protocol_Verification] 2020-05-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Automatic_Refinement] 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [AxiomaticCategoryTheory] 2018-05-23 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BDD] 2008-03-07 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BD_Security_Compositional] -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BNF_CC] 2018-04-25 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BNF_Operations] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BTree] 2021-02-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Banach_Steinhaus] 2020-05-06 = "2020" 2020-05-11 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Belief_Revision] 2021-10-22 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Bell_Numbers_Spivey] 2016-05-04 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BenOr_Kozen_Reif] 2021-04-25 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Berlekamp_Zassenhaus] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2018-09-07 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Bernoulli] 2017-01-24 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Bertrands_Postulate] 2017-01-18 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Bicategory] 2020-01-09 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BinarySearchTree] 2004-04-20 = "2004" 2004-04-21 = "2004" 2004-09-21 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Binding_Syntax_Theory] 2019-04-08 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Binomial-Heaps] 2010-10-28 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Binomial-Queues] 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BirdKMP] 2020-09-02 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Blue_Eyes] 2021-02-01 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Bondy] 2012-10-27 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Boolean_Expression_Checkers] 2014-06-08 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Boolos_Curious_Inference] +2022-07-04 = "2021-1" [Bounded_Deducibility_Security] 2014-04-24 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Buchi_Complementation] 2017-10-27 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Budan_Fourier] 2018-09-04 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Buffons_Needle] 2017-06-06 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Buildings] 2016-07-01 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [BytecodeLogicJmlTypes] 2008-12-22 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [C2KA_DistributedSystems] 2019-08-06 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CAVA_Automata] 2014-05-29 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CAVA_LTL_Modelchecker] 2014-05-29 = "2013-2" 2014-05-30 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CCS] 2012-06-14 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CISC-Kernel] 2014-07-18 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CRDT] 2017-07-07 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[CRYSTALS-Kyber] +2022-09-08 = "2021-1" [CSP_RefTK] 2021-01-12 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CYK] 2016-04-27 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CZH_Elementary_Categories] 2021-09-14 = "2021" 2021-10-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CZH_Foundations] 2021-09-14 = "2021" 2021-10-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CZH_Universal_Constructions] 2021-09-14 = "2021" 2021-10-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CakeML] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CakeML_Codegen] 2019-07-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Call_Arity] 2015-02-20 = "2014" 2015-02-21 = "2014" 2015-05-11 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Card_Equiv_Relations] 2016-05-24 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Card_Multisets] 2016-06-26 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Card_Number_Partitions] 2016-01-14 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Card_Partitions] 2015-12-13 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Cartan_FP] 2016-03-09 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Case_Labeling] 2015-07-24 = "2015" 2015-07-27 = "2015" 2015-08-17 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Catalan_Numbers] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Category] 2005-04-21 = "2004" 2005-05-01 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Category2] 2010-06-21 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Category3] 2016-06-26 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Cauchy] 2006-03-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Cayley_Hamilton] 2014-09-16 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Certification_Monads] 2014-10-08 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Chandy_Lamport] 2020-08-04 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Chord_Segments] 2016-10-11 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Circus] 2012-05-29 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Clean] 2019-10-16 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Clique_and_Monotone_Circuits] +2022-05-08 = "2021-1" [ClockSynchInst] 2006-03-15 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Closest_Pair_Points] 2020-01-14 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CoCon] -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CoSMeDis] -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CoSMed] -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CofGroups] 2009-08-09 = "2009" 2009-09-05 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Coinductive] 2010-02-14 = "2009-1" 2010-02-15 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Coinductive_Languages] 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Collections] 2009-11-29 = "2009" 2009-12-12 = "2009-1" 2009-12-13 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2011-10-12 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Combinable_Wands] +2022-05-30 = "2021-1" [Combinatorics_Words] 2021-05-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Combinatorics_Words_Graph_Lemma] 2021-05-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Combinatorics_Words_Lyndon] 2021-05-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Commuting_Hermitian] +2022-08-16 = "2021-1" [Comparison_Sort_Lower_Bound] 2017-03-16 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Compiling-Exceptions-Correctly] 2004-07-09 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Complete_Non_Orders] 2019-06-28 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Completeness] 2004-09-20 = "2004" 2004-09-21 = "2004" 2005-07-22 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Complex_Bounded_Operators] 2021-09-20 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Complex_Geometry] 2020-01-17 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Complx] 2016-11-29 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [ComponentDependencies] 2014-04-29 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [ConcurrentGC] 2015-04-15 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [ConcurrentIMP] 2015-04-15 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Concurrent_Ref_Alg] 2017-01-04 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Concurrent_Revisions] 2019-01-03 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Conditional_Simplification] 2021-09-14 = "2021" 2021-10-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Conditional_Transfer_Rule] 2021-09-14 = "2021" 2021-10-13 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Consensus_Refined] 2015-03-19 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Constructive_Cryptography] 2018-12-19 = "2018" 2018-12-20 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Constructive_Cryptography_CM] 2021-03-18 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Constructor_Funs] 2017-04-20 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Containers] 2013-04-23 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" - -["CoreC++"] -2006-05-16 = "2005" -2007-11-27 = "2007" -2008-06-10 = "2008" -2009-04-29 = "2009" -2009-12-12 = "2009-1" -2010-06-30 = "2009-2" -2011-02-11 = "2011" -2011-10-11 = "2011-1" -2012-05-24 = "2012" -2013-02-16 = "2013" -2013-03-02 = "2013" -2013-11-17 = "2013-1" -2013-12-11 = "2013-2" -2014-08-28 = "2014" -2015-05-27 = "2015" -2016-02-22 = "2016" -2016-12-17 = "2016-1" -2017-10-10 = "2017" -2018-08-16 = "2018" -2019-06-11 = "2019" -2020-04-18 = "2020" -2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Core_DOM] 2019-01-07 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Core_SC_DOM] 2020-11-26 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Correctness_Algebras] 2021-10-20 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Cotangent_PFD_Formula] +2022-03-16 = "2021-1" [Count_Complex_Roots] 2017-10-18 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CryptHOL] 2017-05-11 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [CryptoBasedCompositionalProperties] 2014-01-11 = "2013-2" 2014-01-14 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Cubic_Quartic_Equations] 2021-09-03 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [DFS_Framework] 2016-07-05 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [DOM_Components] 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[DPRM_Theorem] +2022-06-07 = "2021-1" [DPT-SAT-Solver] 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2015-07-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [DataRefinementIBP] 2010-05-28 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Datatype_Order_Generator] 2012-08-07 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Decl_Sem_Fun_PL] 2017-07-24 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Decreasing-Diagrams] 2013-11-18 = "2013-1" 2013-12-02 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Decreasing-Diagrams-II] 2015-08-21 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Dedekind_Real] +2022-03-29 = "2021-1" [Deep_Learning] 2016-11-10 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Delta_System_Lemma] 2020-12-28 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Density_Compiler] 2014-10-09 = "2014" 2014-12-22 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Dependent_SIFUM_Refinement] 2016-06-28 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Dependent_SIFUM_Type_Systems] 2016-06-25 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Depth-First-Search] 2004-06-24 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Derangements] 2015-06-28 = "2015" 2015-11-20 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Deriving] 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Descartes_Sign_Rule] 2016-01-05 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Design_Theory] 2021-09-02 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Dict_Construction] 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Differential_Dynamic_Logic] 2017-02-14 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Differential_Game_Logic] 2019-06-24 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Digit_Expansions] +2022-05-09 = "2021-1" +2022-05-26 = "2021-1" [Dijkstra_Shortest_Path] 2012-02-10 = "2011-1" 2012-03-15 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-08 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Diophantine_Eqns_Lin_Hom] 2017-10-15 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Dirichlet_L] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Dirichlet_Series] 2017-10-16 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [DiscretePricing] 2018-07-18 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Discrete_Summation] 2014-04-13 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [DiskPaxos] 2005-06-22 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Dominance_CHK] 2021-09-07 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [DynamicArchitectures] 2017-07-31 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Dynamic_Tables] 2015-06-07 = "2015" 2015-06-08 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [E_Transcendental] 2017-01-13 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Echelon_Form] 2015-02-12 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [EdmondsKarp_Maxflow] 2016-08-12 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Efficient-Mergesort] 2011-11-10 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Elliptic_Curves_Group_Law] 2017-03-01 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Encodability_Process_Calculi] 2015-08-11 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Epistemic_Logic] 2018-10-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Equivalence_Relation_Enumeration] +2022-02-06 = "2021-1" [Ergodic_Theory] 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Error_Function] 2018-02-07 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Euler_MacLaurin] 2017-03-14 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Euler_Partition] 2015-11-20 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Eval_FO] +2022-02-21 = "2021-1" + +[Example-Submission] +2004-02-25 = "2003" +2004-03-05 = "2003" +2004-04-20 = "2004" +2004-05-21 = "2004" +2005-10-14 = "2005" +2006-11-10 = "2005" +2006-11-13 = "2005" +2007-11-27 = "2007" +2008-06-10 = "2008" +2009-04-29 = "2009" +2009-12-12 = "2009-1" +2010-06-30 = "2009-2" +2011-02-11 = "2011" +2011-10-11 = "2011-1" +2012-03-15 = "2011-1" +2012-05-24 = "2012" +2013-02-16 = "2013" +2013-11-17 = "2013-1" +2013-11-18 = "2013-1" +2013-12-11 = "2013-2" +2014-10-11 = "2014" +2015-05-27 = "2015" +2015-08-04 = "2015" +2016-02-22 = "2016" +2016-03-13 = "2016" +2016-12-17 = "2016-1" +2017-10-10 = "2017" +2018-06-09 = "2017" +2018-07-06 = "2017" +2018-08-16 = "2018" +2018-09-19 = "2018" +2019-06-11 = "2019" +2020-04-18 = "2020" +2020-04-28 = "2020" +2020-05-06 = "2020" +2021-02-23 = "2021" +2021-12-14 = "2021-1" +2022-07-13 = "2021-1" [Extended_Finite_State_Machine_Inference] 2020-09-19 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Extended_Finite_State_Machines] 2020-09-19 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FFT] 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FLP] 2016-05-18 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FOL-Fitting] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FOL_Axiomatic] 2021-10-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FOL_Harrison] 2017-01-04 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FOL_Seq_Calc1] 2019-07-18 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[FOL_Seq_Calc2] +2022-02-02 = "2021-1" + +[FOL_Seq_Calc3] +2022-03-29 = "2021-1" + +[FO_Theory_Rewriting] +2022-02-10 = "2021-1" + +[FSM_Tests] +2022-08-11 = "2021-1" [Factor_Algebraic_Polynomial] 2021-11-14 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Factored_Transition_System_Bounding] 2018-10-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Falling_Factorial_Sum] 2017-12-30 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Farkas] 2019-01-21 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FeatherweightJava] 2006-04-05 = "2005" 2006-04-06 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Featherweight_OCL] 2014-01-16 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Fermat3_4] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FileRefinement] 2004-12-15 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FinFun] 2009-05-25 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Finger-Trees] 2010-10-28 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Finite-Map-Extras] 2020-12-02 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Finite_Automata_HF] 2015-02-05 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Finite_Fields] +2022-06-16 = "2021-1" [Finitely_Generated_Abelian_Groups] 2021-07-13 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [First_Order_Terms] 2018-02-06 = "2017" 2018-02-07 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [First_Welfare_Theorem] 2017-09-04 = "2016-1" 2017-09-05 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Fishburn_Impossibility] 2018-03-23 = "2017" 2018-06-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Fisher_Yates] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Fishers_Inequality] +2022-04-29 = "2021-1" +2022-06-19 = "2021-1" [Flow_Networks] 2017-06-02 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Floyd_Warshall] 2017-05-09 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Flyspeck-Tame] 2007-11-27 = "2007" 2008-01-04 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-25 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-17 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FocusStreamsCaseStudies] 2013-11-18 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Forcing] 2020-05-06 = "2020" 2020-05-07 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Formal_Puiseux_Series] 2021-02-24 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Formal_SSA] 2016-02-08 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Formula_Derivatives] 2015-05-28 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Foundation_of_geometry] 2021-12-13 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Fourier] 2019-09-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Free-Boolean-Algebra] 2010-03-29 = "2009-1" 2010-06-30 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Free-Groups] 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Frequency_Moments] +2022-04-19 = "2021-1" [Fresh_Identifiers] 2021-08-18 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FunWithFunctions] 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [FunWithTilings] 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Functional-Automata] 2004-03-30 = "2003" 2004-04-20 = "2004" 2004-05-21 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Functional_Ordered_Resolution_Prover] 2018-11-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Furstenberg_Topology] 2020-03-27 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [GPU_Kernel_PL] 2014-04-06 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Gabow_SCC] 2014-05-29 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [GaleStewart_Games] 2021-04-28 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Gale_Shapley] +2022-01-03 = "2021-1" [Game_Based_Crypto] 2017-05-11 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Gauss-Jordan-Elim-Fun] 2011-08-19 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Gauss_Jordan] 2014-09-03 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Gauss_Sums] 2020-01-10 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Gaussian_Integers] 2020-04-30 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [GenClock] 2005-06-24 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [General-Triangle] 2011-04-01 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Generalized_Counting_Sort] 2019-12-09 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Generic_Deriving] 2018-11-21 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Generic_Join] 2019-09-18 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [GewirthPGCProof] 2018-10-31 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Girth_Chromatic] 2012-02-06 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [GoedelGod] 2013-11-18 = "2013-1" 2013-11-19 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Goedel_HFSet_Semantic] 2020-09-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Goedel_HFSet_Semanticless] 2020-09-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Goedel_Incompleteness] 2020-09-18 = "2020" 2020-09-19 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Goodstein_Lambda] 2020-02-24 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [GraphMarkingIBP] 2010-05-28 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-03-15 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Graph_Saturation] 2018-11-28 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Graph_Theory] 2013-05-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Green] 2018-01-12 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Groebner_Bases] 2016-05-02 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Groebner_Macaulay] 2019-06-17 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Gromov_Hyperbolicity] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Grothendieck_Schemes] 2021-04-09 = "2021" 2021-04-18 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Group-Ring-Module] 2004-05-19 = "2004" 2004-05-20 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-04-30 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [HOL-CSP] 2019-04-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [HOLCF-Prelude] 2017-07-15 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [HRB-Slicing] 2009-11-19 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hahn_Jordan_Decomposition] 2021-11-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Hales_Jewett] +2022-09-07 = "2021-1" [Heard_Of] 2012-07-30 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hello_World] 2020-03-23 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [HereditarilyFinite] 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hermite] 2015-07-07 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hermite_Lindemann] 2021-03-12 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hidden_Markov_Models] 2018-05-25 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Higher_Order_Terms] 2019-01-15 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hoare_Time] 2018-02-26 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hood_Melville_Queue] 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [HotelKeyCards] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Huffman] 2008-10-15 = "2008" 2008-10-21 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hybrid_Logic] 2020-01-07 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hybrid_Multi_Lane_Spatial_Logic] 2017-11-09 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Hybrid_Systems_VCs] 2019-09-10 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [HyperCTL] 2014-04-16 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Hyperdual] +2022-01-05 = "2021-1" [IEEE_Floating_Point] 2013-07-28 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [IFC_Tracking] 2021-04-01 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [IMAP-CRDT] 2017-11-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [IMO2019] 2019-08-06 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [IMP2] 2019-01-15 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [IMP2_Binary_Heap] 2019-06-13 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [IMP_Compiler] 2021-06-21 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[IMP_Compiler_Reuse] +2022-07-11 = "2021-1" [IP_Addresses] 2016-06-28 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Imperative_Insertion_Sort] 2014-09-25 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Implicational_Logic] +2022-09-19 = "2021-1" [Impossible_Geometry] 2012-08-06 = "2012" 2012-08-07 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Incompleteness] 2013-11-17 = "2013-1" 2013-12-02 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Incredible_Proof_Machine] 2016-05-20 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Independence_CH] +2022-03-07 = "2021-1" [Inductive_Confidentiality] 2012-05-02 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Inductive_Inference] 2020-09-02 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [InfPathElimination] 2016-08-18 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [InformationFlowSlicing] 2010-03-23 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [InformationFlowSlicing_Inter] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Integration] 2004-11-22 = "2004" 2004-11-23 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Interpolation_Polynomials_HOL_Algebra] +2022-01-31 = "2021-1" [Interpreter_Optimizations] 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Interval_Arithmetic_Word32] 2019-11-28 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Intro_Dest_Elim] 2021-09-14 = "2021" 2021-10-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Involutions2Squares] +2022-08-15 = "2021-1" [Iptables_Semantics] 2016-09-09 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Irrational_Series_Erdos_Straus] 2020-05-13 = "2020" 2020-05-14 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Irrationality_J_Hancl] 2018-05-26 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Irrationals_From_THEBOOK] +2022-01-31 = "2021-1" [IsaGeoCoq] 2021-02-01 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[IsaNet] +2022-06-24 = "2021-1" [Isabelle_C] 2019-12-19 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Isabelle_Marries_Dirac] 2020-11-30 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Isabelle_Meta_Model] 2015-09-25 = "2015" 2015-09-28 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Jacobson_Basic_Algebra] 2019-09-01 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Jinja] 2005-10-14 = "2005" 2006-08-08 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [JinjaDCI] 2021-01-13 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [JinjaThreads] 2007-12-03 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-04-30 = "2009" 2009-12-12 = "2009-1" 2010-07-02 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2011-10-12 = "2011-1" 2012-05-26 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-17 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [JiveDataStoreModel] 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Jordan_Hoelder] 2014-09-11 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Jordan_Normal_Form] 2015-08-23 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [KAD] 2016-04-12 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [KAT_and_DRA] 2014-01-29 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [KBPs] 2011-05-19 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [KD_Tree] 2019-06-04 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Key_Agreement_Strong_Adversaries] 2017-02-03 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Khovanskii_Theorem] +2022-09-07 = "2021-1" [Kleene_Algebra] 2013-01-16 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Knights_Tour] +2022-01-04 = "2021-1" +2022-01-06 = "2021-1" [Knot_Theory] 2016-01-20 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Knuth_Bendix_Order] 2020-05-15 = "2020" 2020-05-16 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Knuth_Morris_Pratt] 2017-12-18 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Koenigsberg_Friendship] 2013-07-26 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Kruskal] 2019-02-19 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Kuratowski_Closure_Complement] 2017-10-27 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LLL_Basis_Reduction] 2018-02-03 = "2017" 2018-08-16 = "2018" 2018-09-07 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LLL_Factorization] 2018-02-07 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LOFT] 2016-10-21 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[LP_Duality] +2022-02-06 = "2021-1" [LTL] 2016-03-02 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LTL_Master_Theorem] 2019-04-17 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LTL_Normal_Form] 2020-05-09 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LTL_to_DRA] 2015-09-04 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LTL_to_GBA] 2014-05-29 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lam-ml-Normalization] 2010-09-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LambdaAuth] 2019-05-15 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LambdaMu] 2017-08-21 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lambda_Free_EPO] 2018-10-21 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lambda_Free_KBOs] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lambda_Free_RPOs] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lambert_W] 2020-04-29 = "2020" 2020-05-12 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Landau_Symbols] 2015-07-15 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Laplace_Transform] 2019-08-16 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Latin_Square] 2015-12-03 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LatticeProperties] 2011-09-27 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2019-06-28 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Launchbury] 2013-02-24 = "2013" 2013-02-25 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-05-24 = "2013-2" 2014-05-25 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Laws_of_Large_Numbers] 2021-02-11 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lazy-Lists-II] 2004-04-27 = "2004" 2004-05-21 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lazy_Case] 2017-04-20 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lehmer] 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lifting_Definition_Option] 2014-10-15 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lifting_the_Exponent] 2021-05-31 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LightweightJava] 2011-03-02 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LinearQuantifierElim] 2008-01-11 = "2007" 2008-01-24 = "2007" 2008-02-12 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Linear_Inequalities] 2019-06-24 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Linear_Programming] 2019-09-23 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Linear_Recurrences] 2017-10-17 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Liouville_Numbers] 2016-01-05 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [List-Index] 2010-02-20 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [List-Infinite] 2011-02-24 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [List_Interleaving] 2015-06-13 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [List_Inversions] 2019-02-21 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [List_Update] 2016-02-22 = "2016" 2016-02-23 = "2016" 2016-10-15 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [LocalLexing] 2017-04-28 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Localization_Ring] 2018-06-17 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Locally-Nameless-Sigma] 2010-05-03 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Logging_Independent_Anonymity] 2021-09-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lowe_Ontological_Argument] 2017-10-16 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lower_Semicontinuous] 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lp] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Lucas_Theorem] 2020-04-21 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[MDP-Algorithms] +2021-12-28 = "2021-1" + +[MDP-Rewards] +2021-12-28 = "2021-1" [MFMC_Countable] 2016-05-09 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MFODL_Monitor_Optimized] 2020-04-11 = "2019" 2020-04-12 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MFOTL_Monitor] 2019-07-05 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MSO_Regex_Equivalence] 2014-06-12 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Markov_Models] 2012-01-05 = "2011-1" 2012-01-08 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Marriage] 2010-12-17 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Mason_Stothers] 2017-12-22 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Matrices_for_ODEs] 2020-05-09 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Matrix] 2010-06-17 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Matrix_Tensor] 2016-01-18 = "2015" 2016-01-19 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Matroids] 2018-11-20 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Max-Card-Matching] 2011-08-15 = "2011" 2011-08-19 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Maximum_Segment_Sum] +2022-09-30 = "2021-1" + +[Median_Method] +2022-01-25 = "2021-1" [Median_Of_Medians_Selection] 2017-12-22 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Menger] 2017-02-27 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Mereology] 2021-03-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Mersenne_Primes] 2020-01-20 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Metalogic_ProofChecker] 2021-04-28 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MiniML] 2004-03-23 = "2003" 2004-04-20 = "2004" 2004-05-21 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-04-18 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2020-05-06 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MiniSail] 2021-06-25 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Minimal_SSA] 2017-01-19 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Minkowskis_Theorem] 2017-07-15 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Minsky_Machines] 2018-08-14 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Modal_Logics_for_NTS] 2016-10-25 = "2016" 2016-10-27 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Modular_Assembly_Kit_Security] 2018-05-09 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Modular_arithmetic_LLL_and_HNF_algorithms] 2021-03-14 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Monad_Memo_DP] 2018-05-23 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" +2022-02-13 = "2021-1" [Monad_Normalisation] 2017-05-11 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MonoBoolTranAlgebra] 2011-09-27 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MonoidalCategory] 2017-05-05 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Monomorphic_Monad] 2017-05-11 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [MuchAdoAboutTwo] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Multi_Party_Computation] 2019-05-10 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Multirelations] 2015-06-13 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Multiset_Ordering_NPC] +2022-04-22 = "2021-1" [Myhill-Nerode] 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Name_Carrying_Type_Inference] 2017-07-15 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Nano_JSON] +2022-08-22 = "2021-1" [Nash_Williams] 2020-06-02 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Nat-Interval-Logic] 2011-02-24 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Native_Word] 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Nested_Multisets_Ordinals] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Network_Security_Policy_Verification] 2014-07-09 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Neumann_Morgenstern_Utility] 2018-07-04 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [No_FTL_observers] 2016-04-28 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Nominal2] 2013-02-24 = "2013" 2013-11-17 = "2013-1" 2016-04-24 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Noninterference_CSP] 2014-05-24 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2015-06-13 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Noninterference_Concurrent_Composition] 2016-06-13 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Noninterference_Generic_Unwinding] 2015-06-13 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Noninterference_Inductive_Unwinding] 2015-08-19 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Noninterference_Ipurge_Unwinding] 2015-06-13 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Noninterference_Sequential_Composition] 2016-04-26 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [NormByEval] 2008-02-18 = "2007" 2008-02-22 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Nullstellensatz] 2019-06-17 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Number_Theoretic_Transform] +2022-09-07 = "2021-1" [Octonions] 2018-09-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [OpSets] 2018-05-25 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Open_Induction] 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Optics] 2017-06-01 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" -2022-10-05 = "2021" +2021-12-14 = "2021-1" [Optimal_BST] 2018-05-29 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Orbit_Stabiliser] 2017-08-23 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Order_Lattice_Props] 2018-12-19 = "2018" 2019-06-11 = "2019" 2019-06-28 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ordered_Resolution_Prover] 2018-01-22 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ordinal] 2005-11-16 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ordinal_Partitions] 2020-08-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ordinals_and_Cardinals] 2009-09-07 = "2009" 2009-09-09 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ordinary_Differential_Equations] 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [PAC_Checker] 2020-08-31 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [PAL] 2021-11-14 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [PCF] 2012-07-03 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [PLM] 2017-09-19 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [POPLmark-deBruijn] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [PSemigroupsConvolution] 2017-06-13 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Package_logic] +2022-05-27 = "2021-1" + +[Padic_Field] +2022-09-22 = "2021-1" [Padic_Ints] 2021-05-14 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Pairing_Heap] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Paraconsistency] 2016-12-08 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Parity_Game] 2015-11-02 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Partial_Function_MR] 2014-02-19 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Partial_Order_Reduction] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Password_Authentication_Protocol] 2017-01-06 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Pell] 2018-06-25 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Perfect-Number-Thm] 2009-11-24 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Perron_Frobenius] 2016-05-20 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2017-10-18 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Physical_Quantities] 2020-10-28 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Pi_Calculus] 2012-06-14 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Pi_Transcendental] 2018-10-02 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Planarity_Certificates] 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Pluennecke_Ruzsa_Inequality] +2022-05-30 = "2021-1" [Poincare_Bendixson] 2019-12-18 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Poincare_Disc] 2020-01-17 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Polynomial_Factorization] 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Polynomial_Interpolation] 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Polynomials] 2010-08-11 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Pop_Refinement] 2014-07-03 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Posix-Lexing] 2016-05-24 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Possibilistic_Noninterference] 2012-09-10 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Power_Sum_Polynomials] 2020-04-30 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Pratt_Certificate] 2013-07-29 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Prefix_Free_Code_Combinators] +2022-04-19 = "2021-1" [Presburger-Automata] 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Prim_Dijkstra_Simple] 2019-06-29 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Prime_Distribution_Elementary] 2019-02-22 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Prime_Harmonic_Series] 2016-01-05 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Prime_Number_Theorem] 2018-09-20 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Priority_Queue_Braun] 2014-09-04 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Priority_Search_Trees] 2019-06-29 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Probabilistic_Noninterference] 2014-03-16 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Probabilistic_Prime_Tests] 2019-02-15 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Probabilistic_System_Zoo] 2015-05-28 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Probabilistic_Timed_Automata] 2018-05-25 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Probabilistic_While] 2017-05-11 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Program-Conflict-Analysis] 2007-12-20 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Progress_Tracking] 2021-04-16 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Projective_Geometry] 2018-06-15 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Projective_Measurements] 2021-03-09 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Promela] 2014-05-29 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Proof_Strategy_Language] 2016-12-21 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [PropResPI] 2016-03-11 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Propositional_Proof_Systems] 2017-06-22 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Prpu_Maxflow] 2017-06-02 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [PseudoHoops] 2011-09-27 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Psi_Calculi] 2012-06-14 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ptolemys_Theorem] 2016-08-08 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Public_Announcement_Logic] 2021-06-25 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [QHLProver] 2019-03-25 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [QR_Decomposition] 2015-02-13 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Quantales] 2018-12-19 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Quasi_Borel_Spaces] +2022-02-04 = "2021-1" [Quaternions] 2018-09-07 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Query_Optimization] +2022-10-05 = "2021-1" [Quick_Sort_Cost] 2017-03-16 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [RIPEMD-160-SPARK] 2011-01-19 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [ROBDD] 2016-04-27 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [RSAPSS] 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ramsey-Infinite] 2004-09-20 = "2004" 2004-09-21 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Random_BSTs] 2017-04-04 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Random_Graph_Subgraph_Threshold] 2014-02-14 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Randomised_BSTs] 2018-10-19 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Randomised_Social_Choice] 2016-05-05 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Rank_Nullity_Theorem] 2013-01-16 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Real_Impl] 2014-02-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Real_Power] 2021-11-09 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Real_Time_Deque] +2022-06-30 = "2021-1" +2022-07-01 = "2021-1" [Recursion-Addition] 2020-05-13 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Recursion-Theory-I] 2008-04-11 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Refine_Imperative_HOL] 2016-08-08 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Refine_Monadic] 2012-02-10 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [RefinementReactive] 2014-10-08 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Regex_Equivalence] 2014-01-30 = "2013-2" 2014-08-28 = "2014" 2014-11-30 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Registers] 2021-11-07 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Regression_Test_Selection] 2021-05-03 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Regular-Sets] 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Regular_Algebras] 2014-05-22 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Regular_Tree_Relations] +2021-12-29 = "2021-1" [Relation_Algebra] 2014-01-25 = "2013-2" 2014-01-31 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Relational-Incorrectness-Logic] 2020-03-26 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Relational_Disjoint_Set_Forests] 2020-08-26 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Relational_Forests] 2021-08-08 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Relational_Method] 2020-12-07 = "2020" 2020-12-08 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Relational_Minimum_Spanning_Trees] 2020-12-08 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Relational_Paths] 2020-07-28 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Rep_Fin_Groups] 2015-08-12 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[ResiduatedTransitionSystem] +2022-03-06 = "2021-1" [Residuated_Lattices] 2015-04-16 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2019-06-28 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Resolution_FOL] 2016-06-30 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Rewrite_Properties_Reduction] +2022-06-06 = "2021-1" [Rewriting_Z] 2016-06-30 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Ribbon_Proofs] 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Risk_Free_Lending] +2022-09-22 = "2021-1" [Robbins-Conjecture] 2010-05-27 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Robinson_Arithmetic] 2020-09-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Root_Balanced_Tree] 2017-08-20 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Roth_Arithmetic_Progressions] +2022-01-03 = "2021-1" [Routing] 2016-08-31 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Roy_Floyd_Warshall] 2014-05-24 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SATSolverVerification] 2008-07-27 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[SCC_Bloemen_Sequential] +2022-09-09 = "2021-1" [SC_DOM_Components] 2020-11-27 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SDS_Impossibility] 2016-05-05 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SIFPL] 2008-11-13 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SIFUM_Type_Systems] 2014-04-24 = "2013-2" 2014-04-25 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SPARCv8] 2016-10-19 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Safe_Distance] 2020-06-03 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Safe_OCL] 2019-03-14 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Safe_Range_RC] +2022-09-29 = "2021-1" [Saturation_Framework] 2020-04-10 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Saturation_Framework_Extensions] 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Schutz_Spacetime] 2021-09-06 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Secondary_Sylow] 2014-01-29 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Security_Protocol_Refinement] 2017-05-25 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Selection_Heap_Sort] 2014-02-18 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SenSocialChoice] 2008-11-17 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-03-15 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Separata] 2016-11-17 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Separation_Algebra] 2012-05-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Separation_Logic_Imperative_HOL] 2012-11-15 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Separation_Logic_Unbounded] +2022-09-14 = "2021-1" [SequentInvertibility] 2009-09-01 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Shadow_DOM] 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Shadow_SC_DOM] 2020-11-26 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Shivers-CFA] 2010-11-17 = "2009-2" 2010-11-18 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [ShortestPath] 2013-05-30 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Show] 2014-08-28 = "2014" 2014-08-29 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Sigma_Commit_Crypto] 2019-10-08 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Signature_Groebner] 2018-09-20 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Simpl] 2008-03-07 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-09-12 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Simple_Firewall] 2016-08-24 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Simplex] 2018-08-27 = "2018" 2019-06-11 = "2019" 2020-01-14 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Simplicial_complexes_and_boolean_functions] 2021-12-13 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SimplifiedOntologicalArgument] 2021-11-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Skew_Heap] 2014-08-28 = "2014" 2014-08-29 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Skip_Lists] 2020-01-10 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Slicing] 2008-09-22 = "2008" 2009-04-29 = "2009" 2009-04-30 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Sliding_Window_Algorithm] 2020-04-12 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Smith_Normal_Form] 2020-05-25 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Smooth_Manifolds] 2018-10-23 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Solidity] +2022-08-12 = "2021-1" + +[Sophomores_Dream] +2022-05-09 = "2021-1" [Sort_Encodings] 2013-07-01 = "2013" 2013-07-04 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Source_Coding_Theorem] 2016-10-19 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SpecCheck] 2021-07-08 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Special_Function_Bounds] 2014-08-29 = "2014" 2014-09-05 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Splay_Tree] 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Sqrt_Babylonian] 2013-01-04 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stable_Matching] 2016-10-24 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Stalnaker_Logic] +2022-09-26 = "2021-1" [Statecharts] 2010-08-18 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stateful_Protocol_Composition_and_Typing] 2020-05-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stellar_Quorums] 2019-08-03 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stern_Brocot] 2015-12-22 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stewart_Apollonius] 2017-08-01 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stirling_Formula] 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stochastic_Matrices] 2017-11-23 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stone_Algebras] 2016-09-06 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2019-06-28 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stone_Kleene_Relation_Algebras] 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stone_Relation_Algebras] 2017-02-09 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Store_Buffer_Reduction] 2019-01-11 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stream-Fusion] 2009-05-11 = "2009" 2009-05-13 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stream_Fusion_Code] 2014-10-10 = "2014" 2014-10-13 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Strong_Security] 2014-04-24 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Sturm_Sequences] 2014-01-12 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Sturm_Tarski] 2014-09-20 = "2014" 2014-12-05 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Stuttering_Equivalence] 2012-05-08 = "2011-1" 2012-05-24 = "2012" 2013-02-02 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Subresultants] 2017-04-07 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Subset_Boolean_Algebras] 2020-01-31 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SumSquares] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Sunflowers] 2021-03-01 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [SuperCalc] 2016-09-06 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Surprise_Paradox] 2016-07-17 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Symmetric_Polynomials] 2018-09-26 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Syntax_Independent_Logic] 2020-09-18 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Szemeredi_Regularity] 2021-11-07 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Szpilrajn] 2019-07-28 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [TESL_Language] 2019-07-31 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [TLA] 2011-11-27 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Tail_Recursive_Functions] 2013-12-02 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2015-06-13 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Tarskis_Geometry] 2012-11-08 = "2012" 2012-11-09 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Taylor_Models] 2018-01-08 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Three_Circles] 2021-09-01 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Timed_Automata] 2016-03-11 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Topological_Semantics] 2020-12-22 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Topology] 2004-04-27 = "2004" 2004-05-21 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [TortoiseHare] 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Transcendence_Series_Hancl_Rucki] 2019-03-28 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Transformer_Semantics] 2018-12-19 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Transition_Systems_and_Automata] 2017-10-27 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Transitive-Closure] 2011-03-14 = "2011" 2011-10-11 = "2011-1" 2011-10-12 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Transitive-Closure-II] 2012-02-29 = "2011-1" 2012-03-15 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Transitive_Models] +2022-03-04 = "2021-1" [Treaps] 2018-02-06 = "2017" 2018-02-07 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Tree-Automata] 2009-11-29 = "2009" 2009-12-12 = "2009-1" 2009-12-13 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2011-10-12 = "2011-1" 2012-03-15 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Tree_Decomposition] 2016-05-31 = "2016" 2016-06-01 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Triangle] 2016-01-05 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Trie] 2015-03-30 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Twelvefold_Way] 2016-12-30 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Tycon] 2012-06-28 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Types_Tableaus_and_Goedels_God] 2017-05-02 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Types_To_Sets_Extension] 2021-09-14 = "2021" 2021-10-05 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [UPF] 2014-11-30 = "2014" 2015-01-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [UPF_Firewall] 2017-01-11 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [UTP] 2019-02-06 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Undirected_Graph_Theory] +2022-10-01 = "2021-1" + +[Universal_Hash_Families] +2022-02-21 = "2021-1" [Universal_Turing_Machine] 2019-02-12 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [UpDown_Scheme] 2015-01-30 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[VYDRA_MDL] +2022-02-14 = "2021-1" [Valuation] 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-04-30 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-08 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Van_Emde_Boas_Trees] 2021-11-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Van_der_Waerden] 2021-06-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [VectorSpace] 2014-08-29 = "2014" 2014-08-31 = "2014" 2014-09-07 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [VeriComp] 2020-02-25 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Verified-Prover] 2004-09-28 = "2004" 2005-10-14 = "2005" 2007-11-27 = "2007" 2008-06-10 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-03-02 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Verified_SAT_Based_AI_Planning] 2020-11-03 = "2020" 2020-11-13 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [VerifyThis2018] 2018-04-30 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [VerifyThis2019] 2019-10-25 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Vickrey_Clarke_Groves] 2015-04-30 = "2014" 2015-05-09 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Virtual_Substitution] 2021-10-19 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [VolpanoSmith] 2008-09-05 = "2008" 2009-04-29 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [WHATandWHERE_Security] 2014-04-24 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [WOOT_Strong_Eventual_Consistency] 2020-03-26 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [WebAssembly] 2018-04-29 = "2017" 2018-04-30 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Weight_Balanced_Trees] 2018-03-13 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Weighted_Arithmetic_Geometric_Mean] +2022-07-11 = "2021-1" [Weighted_Path_Order] 2021-09-26 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Well_Quasi_Orders] 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Wetzels_Problem] +2022-02-21 = "2021-1" [Winding_Number_Eval] 2017-10-18 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Word_Lib] 2016-06-09 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [WorkerWrapper] 2009-10-30 = "2009" 2009-10-31 = "2009" 2009-12-12 = "2009-1" 2010-07-01 = "2009-2" 2011-02-11 = "2011" 2011-10-11 = "2011-1" 2012-05-24 = "2012" 2013-02-16 = "2013" 2013-11-17 = "2013-1" 2013-12-11 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [X86_Semantics] 2021-10-31 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [XML] 2014-10-08 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" + +[Youngs_Inequality] +2022-02-04 = "2021-1" [ZFC_in_HOL] 2019-11-04 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Zeta_3_Irrational] 2019-12-28 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [Zeta_Function] 2017-10-16 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1" [pGCL] 2014-07-13 = "2013-2" 2014-08-28 = "2014" 2015-05-27 = "2015" 2016-02-22 = "2016" 2016-12-17 = "2016-1" 2017-10-10 = "2017" 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" -2021-12-14 = "2021" +2021-12-14 = "2021-1"