File size: 647 Bytes
11999e4 |
1 |
["Verified_SAT_Based_AI_Planning", "SIFPL", "Khovanskii_Theorem", "Bondy", "Rewriting_Z", "Decreasing-Diagrams-II", "Registers", "LocalLexing", "FeatherweightJava", "FFT", "Knot_Theory", "Eval_FO", "Saturation_Framework_Extensions", "Hales_Jewett", "SPARCv8", "CoSMeDis", "LP_Duality", "PAPP_Impossibility", "Groebner_Macaulay", "Abstract-Hoare-Logics", "PCF", "Jordan_Hoelder", "Knights_Tour", "FOL_Seq_Calc3", "Cartan_FP", "InformationFlowSlicing_Inter", "LOFT", "Diophantine_Eqns_Lin_Hom", "Dynamic_Tables", "Schutz_Spacetime", "Elliptic_Curves_Group_Law", "ArrowImpossibilityGS", "Goodstein_Lambda", "XML", "GenClock", "Topological_Semantics"] |