diff --git a/metadata/releases.toml b/metadata/releases.toml --- a/metadata/releases.toml +++ b/metadata/releases.toml @@ -1,7293 +1,8028 @@ [ADS_Functor] 2020-04-27 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [AI_Planning_Languages_Semantics] 2020-10-30 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Ackermanns_not_PR] 2022-03-24 = "2021-1" +2022-10-27 = "2022" [Actuarial_Mathematics] 2022-01-25 = "2021-1" +2022-10-27 = "2022" [Adaptive_State_Counting] 2019-08-19 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Aggregation_Algebras] 2018-09-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Amicable_Numbers] 2020-08-15 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Approximation_Algorithms] 2020-01-16 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Aristotles_Assertoric_Syllogistic] 2019-10-17 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Arith_Prog_Rel_Primes] 2020-02-10 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Attack_Trees] 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Auto2_HOL] 2018-11-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Auto2_Imperative_HOL] 2019-01-22 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Automated_Stateful_Protocol_Verification] 2020-05-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [BD_Security_Compositional] 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [BNF_Operations] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [BTree] 2021-02-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Banach_Steinhaus] 2020-05-06 = "2020" 2020-05-11 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Belief_Revision] 2021-10-22 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [BenOr_Kozen_Reif] 2021-04-25 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Bicategory] 2020-01-09 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Binding_Syntax_Theory] 2019-04-08 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [BirdKMP] 2020-09-02 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Blue_Eyes] 2021-02-01 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Boolos_Curious_Inference] 2022-07-04 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Budan_Fourier] 2018-09-04 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [C2KA_DistributedSystems] 2019-08-06 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [CRYSTALS-Kyber] 2022-09-08 = "2021-1" +2022-10-27 = "2022" [CSP_RefTK] 2021-01-12 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [CZH_Elementary_Categories] 2021-09-14 = "2021" 2021-10-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [CZH_Foundations] 2021-09-14 = "2021" 2021-10-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [CZH_Universal_Constructions] 2021-09-14 = "2021" 2021-10-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [CakeML] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [CakeML_Codegen] 2019-07-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Chandy_Lamport] 2020-08-04 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Clean] 2019-10-16 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Clique_and_Monotone_Circuits] 2022-05-08 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Closest_Pair_Points] 2020-01-14 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [CoCon] 2021-12-14 = "2021-1" +2022-10-27 = "2022" [CoSMeDis] 2021-12-14 = "2021-1" +2022-10-27 = "2022" [CoSMed] 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Combinable_Wands] 2022-05-30 = "2021-1" +2022-10-27 = "2022" [Combinatorics_Words] 2021-05-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Combinatorics_Words_Graph_Lemma] 2021-05-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Combinatorics_Words_Lyndon] 2021-05-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Commuting_Hermitian] 2022-08-16 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Complete_Non_Orders] 2019-06-28 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Complex_Bounded_Operators] 2021-09-20 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Complex_Geometry] 2020-01-17 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Concurrent_Revisions] 2019-01-03 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Conditional_Simplification] 2021-09-14 = "2021" 2021-10-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Conditional_Transfer_Rule] 2021-09-14 = "2021" 2021-10-13 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Constructive_Cryptography_CM] 2021-03-18 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" + +["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-1" +2022-10-27 = "2022" [Core_DOM] 2019-01-07 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Core_SC_DOM] 2020-11-26 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Correctness_Algebras] 2021-10-20 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Cotangent_PFD_Formula] 2022-03-16 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Cubic_Quartic_Equations] 2021-09-03 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [DOM_Components] 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [DPRM_Theorem] 2022-06-07 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Dedekind_Real] 2022-03-29 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Delta_System_Lemma] 2020-12-28 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Design_Theory] 2021-09-02 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Differential_Game_Logic] 2019-06-24 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Digit_Expansions] 2022-05-09 = "2021-1" 2022-05-26 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Dirichlet_L] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Dominance_CHK] 2021-09-07 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Epistemic_Logic] 2018-10-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Equivalence_Relation_Enumeration] 2022-02-06 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Eval_FO] 2022-02-21 = "2021-1" +2022-10-27 = "2022" [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" +2022-10-27 = "2022" [Extended_Finite_State_Machine_Inference] 2020-09-19 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Extended_Finite_State_Machines] 2020-09-19 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [FOL_Axiomatic] 2021-10-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [FOL_Seq_Calc1] 2019-07-18 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [FOL_Seq_Calc2] 2022-02-02 = "2021-1" +2022-10-27 = "2022" [FOL_Seq_Calc3] 2022-03-29 = "2021-1" +2022-10-27 = "2022" [FO_Theory_Rewriting] 2022-02-10 = "2021-1" +2022-10-27 = "2022" [FSM_Tests] 2022-08-11 = "2021-1" +2022-10-27 = "2022" [Factor_Algebraic_Polynomial] 2021-11-14 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Factored_Transition_System_Bounding] 2018-10-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Farkas] 2019-01-21 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Finite-Map-Extras] 2020-12-02 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Finite_Fields] 2022-06-16 = "2021-1" +2022-10-27 = "2022" [Finitely_Generated_Abelian_Groups] 2021-07-13 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Fishers_Inequality] 2022-04-29 = "2021-1" 2022-06-19 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Forcing] 2020-05-06 = "2020" 2020-05-07 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Formal_Puiseux_Series] 2021-02-24 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Foundation_of_geometry] 2021-12-13 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Fourier] 2019-09-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Frequency_Moments] 2022-04-19 = "2021-1" +2022-10-27 = "2022" [Fresh_Identifiers] 2021-08-18 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Functional_Ordered_Resolution_Prover] 2018-11-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Furstenberg_Topology] 2020-03-27 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [GaleStewart_Games] 2021-04-28 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Gale_Shapley] 2022-01-03 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Gauss_Sums] 2020-01-10 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Gaussian_Integers] 2020-04-30 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Generalized_Counting_Sort] 2019-12-09 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Generic_Deriving] 2018-11-21 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Generic_Join] 2019-09-18 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [GewirthPGCProof] 2018-10-31 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Goedel_HFSet_Semantic] 2020-09-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Goedel_HFSet_Semanticless] 2020-09-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Goedel_Incompleteness] 2020-09-18 = "2020" 2020-09-19 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Goodstein_Lambda] 2020-02-24 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Graph_Saturation] 2018-11-28 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Groebner_Macaulay] 2019-06-17 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Gromov_Hyperbolicity] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Grothendieck_Schemes] 2021-04-09 = "2021" 2021-04-18 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [HOL-CSP] 2019-04-29 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Hahn_Jordan_Decomposition] 2021-11-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Hales_Jewett] 2022-09-07 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Hello_World] 2020-03-23 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Hermite_Lindemann] 2021-03-12 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Higher_Order_Terms] 2019-01-15 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Hood_Melville_Queue] 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Hybrid_Logic] 2020-01-07 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Hybrid_Systems_VCs] 2019-09-10 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Hyperdual] 2022-01-05 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [IFC_Tracking] 2021-04-01 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [IMO2019] 2019-08-06 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [IMP2] 2019-01-15 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [IMP2_Binary_Heap] 2019-06-13 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [IMP_Compiler] 2021-06-21 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [IMP_Compiler_Reuse] 2022-07-11 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Implicational_Logic] 2022-09-19 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Independence_CH] 2022-03-07 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Inductive_Inference] 2020-09-02 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Interpolation_Polynomials_HOL_Algebra] 2022-01-31 = "2021-1" +2022-10-27 = "2022" [Interpreter_Optimizations] 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Interval_Arithmetic_Word32] 2019-11-28 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Intro_Dest_Elim] 2021-09-14 = "2021" 2021-10-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Involutions2Squares] 2022-08-15 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Irrational_Series_Erdos_Straus] 2020-05-13 = "2020" 2020-05-14 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Irrationals_From_THEBOOK] 2022-01-31 = "2021-1" +2022-10-27 = "2022" [IsaGeoCoq] 2021-02-01 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [IsaNet] 2022-06-24 = "2021-1" +2022-10-27 = "2022" [Isabelle_C] 2019-12-19 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Isabelle_Marries_Dirac] 2020-11-30 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Jacobson_Basic_Algebra] 2019-09-01 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [JinjaDCI] 2021-01-13 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [KD_Tree] 2019-06-04 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Khovanskii_Theorem] 2022-09-07 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Knights_Tour] 2022-01-04 = "2021-1" 2022-01-06 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Knuth_Bendix_Order] 2020-05-15 = "2020" 2020-05-16 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Kruskal] 2019-02-19 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [LP_Duality] 2022-02-06 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [LTL_Master_Theorem] 2019-04-17 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [LTL_Normal_Form] 2020-05-09 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [LambdaAuth] 2019-05-15 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Lambda_Free_EPO] 2018-10-21 = "2018" 2019-06-11 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Lambert_W] 2020-04-29 = "2020" 2020-05-12 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Laplace_Transform] 2019-08-16 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Laws_of_Large_Numbers] 2021-02-11 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Lifting_the_Exponent] 2021-05-31 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Linear_Inequalities] 2019-06-24 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Linear_Programming] 2019-09-23 = "2019" 2020-04-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [List_Inversions] 2019-02-21 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Logging_Independent_Anonymity] 2021-09-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Lucas_Theorem] 2020-04-21 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [MDP-Algorithms] 2021-12-28 = "2021-1" +2022-10-27 = "2022" [MDP-Rewards] 2021-12-28 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [MFODL_Monitor_Optimized] 2020-04-11 = "2019" 2020-04-12 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [MFOTL_Monitor] 2019-07-05 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Matrices_for_ODEs] 2020-05-09 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Matroids] 2018-11-20 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Maximum_Segment_Sum] 2022-09-30 = "2021-1" +2022-10-27 = "2022" [Median_Method] 2022-01-25 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Mereology] 2021-03-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Mersenne_Primes] 2020-01-20 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Metalogic_ProofChecker] 2021-04-28 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [MiniSail] 2021-06-25 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Modular_arithmetic_LLL_and_HNF_algorithms] 2021-03-14 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" 2022-02-13 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Multi_Party_Computation] 2019-05-10 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Multiset_Ordering_NPC] 2022-04-22 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Nano_JSON] 2022-08-22 = "2021-1" +2022-10-27 = "2022" [Nash_Williams] 2020-06-02 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Nullstellensatz] 2019-06-17 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Number_Theoretic_Transform] 2022-09-07 = "2021-1" +2022-10-27 = "2022" [Octonions] 2018-09-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Ordinal_Partitions] 2020-08-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [PAC_Checker] 2020-08-31 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [PAL] 2021-11-14 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Package_logic] 2022-05-27 = "2021-1" +2022-10-27 = "2022" [Padic_Field] 2022-09-22 = "2021-1" +2022-10-27 = "2022" [Padic_Ints] 2021-05-14 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Partial_Order_Reduction] 2018-08-16 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Physical_Quantities] 2020-10-28 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Pi_Transcendental] 2018-10-02 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Pluennecke_Ruzsa_Inequality] 2022-05-30 = "2021-1" +2022-10-27 = "2022" [Poincare_Bendixson] 2019-12-18 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Poincare_Disc] 2020-01-17 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Power_Sum_Polynomials] 2020-04-30 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Prefix_Free_Code_Combinators] 2022-04-19 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Prim_Dijkstra_Simple] 2019-06-29 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Prime_Distribution_Elementary] 2019-02-22 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Prime_Number_Theorem] 2018-09-20 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Priority_Search_Trees] 2019-06-29 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Probabilistic_Prime_Tests] 2019-02-15 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Progress_Tracking] 2021-04-16 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Projective_Measurements] 2021-03-09 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Public_Announcement_Logic] 2021-06-25 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [QHLProver] 2019-03-25 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Quantales] 2018-12-19 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Quasi_Borel_Spaces] 2022-02-04 = "2021-1" +2022-10-27 = "2022" [Quaternions] 2018-09-07 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Query_Optimization] 2022-10-05 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Randomised_BSTs] 2018-10-19 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Real_Power] 2021-11-09 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Real_Time_Deque] 2022-06-30 = "2021-1" 2022-07-01 = "2021-1" +2022-10-27 = "2022" [Recursion-Addition] 2020-05-13 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Registers] 2021-11-07 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Regression_Test_Selection] 2021-05-03 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Regular_Tree_Relations] 2021-12-29 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Relational-Incorrectness-Logic] 2020-03-26 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Relational_Disjoint_Set_Forests] 2020-08-26 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Relational_Forests] 2021-08-08 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Relational_Method] 2020-12-07 = "2020" 2020-12-08 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Relational_Minimum_Spanning_Trees] 2020-12-08 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Relational_Paths] 2020-07-28 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [ResiduatedTransitionSystem] 2022-03-06 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Rewrite_Properties_Reduction] 2022-06-06 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Risk_Free_Lending] 2022-09-22 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Robinson_Arithmetic] 2020-09-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Roth_Arithmetic_Progressions] 2022-01-03 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [SCC_Bloemen_Sequential] 2022-09-09 = "2021-1" +2022-10-27 = "2022" [SC_DOM_Components] 2020-11-27 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Safe_Distance] 2020-06-03 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Safe_OCL] 2019-03-14 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Safe_Range_RC] 2022-09-29 = "2021-1" +2022-10-27 = "2022" [Saturation_Framework] 2020-04-10 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Saturation_Framework_Extensions] 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Schutz_Spacetime] 2021-09-06 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Separation_Logic_Unbounded] 2022-09-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Shadow_DOM] 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Shadow_SC_DOM] 2020-11-26 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Sigma_Commit_Crypto] 2019-10-08 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Signature_Groebner] 2018-09-20 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Simplicial_complexes_and_boolean_functions] 2021-12-13 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [SimplifiedOntologicalArgument] 2021-11-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Skip_Lists] 2020-01-10 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Sliding_Window_Algorithm] 2020-04-12 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Smith_Normal_Form] 2020-05-25 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Smooth_Manifolds] 2018-10-23 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Solidity] 2022-08-12 = "2021-1" +2022-10-27 = "2022" [Sophomores_Dream] 2022-05-09 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [SpecCheck] 2021-07-08 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Stalnaker_Logic] 2022-09-26 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Stateful_Protocol_Composition_and_Typing] 2020-05-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Stellar_Quorums] 2019-08-03 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Store_Buffer_Reduction] 2019-01-11 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Subset_Boolean_Algebras] 2020-01-31 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Sunflowers] 2021-03-01 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Symmetric_Polynomials] 2018-09-26 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Syntax_Independent_Logic] 2020-09-18 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Szemeredi_Regularity] 2021-11-07 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Szpilrajn] 2019-07-28 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [TESL_Language] 2019-07-31 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Three_Circles] 2021-09-01 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Topological_Semantics] 2020-12-22 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Transcendence_Series_Hancl_Rucki] 2019-03-28 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Transformer_Semantics] 2018-12-19 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Transitive_Models] 2022-03-04 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Types_To_Sets_Extension] 2021-09-14 = "2021" 2021-10-05 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [UTP] 2019-02-06 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Undirected_Graph_Theory] 2022-10-01 = "2021-1" +2022-10-27 = "2022" [Universal_Hash_Families] 2022-02-21 = "2021-1" +2022-10-27 = "2022" [Universal_Turing_Machine] 2019-02-12 = "2018" 2019-06-11 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [VYDRA_MDL] 2022-02-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Van_Emde_Boas_Trees] 2021-11-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Van_der_Waerden] 2021-06-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [VeriComp] 2020-02-25 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Verified_SAT_Based_AI_Planning] 2020-11-03 = "2020" 2020-11-13 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [VerifyThis2019] 2019-10-25 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Virtual_Substitution] 2021-10-19 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [WOOT_Strong_Eventual_Consistency] 2020-03-26 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Weighted_Arithmetic_Geometric_Mean] 2022-07-11 = "2021-1" +2022-10-27 = "2022" [Weighted_Path_Order] 2021-09-26 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Wetzels_Problem] 2022-02-21 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [X86_Semantics] 2021-10-31 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [Youngs_Inequality] 2022-02-04 = "2021-1" +2022-10-27 = "2022" [ZFC_in_HOL] 2019-11-04 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [Zeta_3_Irrational] 2019-12-28 = "2019" 2020-04-20 = "2020" 2021-02-23 = "2021" 2021-12-14 = "2021-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022" [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-1" +2022-10-27 = "2022"