https://laxarchive.org/ https://laxarchive.org/about.html https://laxarchive.org/all-comments/ https://laxarchive.org/contributing.html https://laxarchive.org/impressum.html https://laxarchive.org/lax-10/ https://laxarchive.org/lax-10/Lax10.Fragile.html https://laxarchive.org/lax-10/Lax10.FragileFourColorable.html https://laxarchive.org/lax-10/Lax10.Theorem2.html https://laxarchive.org/lax-10/Lax10.ThreeConnectedAndColorable.html https://laxarchive.org/lax-10/Lax10Proofs.Main.fragile_four_colorable.html https://laxarchive.org/lax-10/Lax10Proofs.Main.theorem2.html https://laxarchive.org/lax-11/ https://laxarchive.org/lax-11/Lax11.CliqueExpr.html https://laxarchive.org/lax-11/Lax11.ConnectedComponents.html https://laxarchive.org/lax-11/Lax11.Courcelle.html https://laxarchive.org/lax-11/Lax11.GraphEncoding.html https://laxarchive.org/lax-11/Lax11.InstanceEncoding.html https://laxarchive.org/lax-11/Lax11.Mso.html https://laxarchive.org/lax-11/Lax11.VertexCover.html https://laxarchive.org/lax-11/Lax11Proofs.CCMain.exists_linearTime_program_ccLabels.html https://laxarchive.org/lax-11/Lax11Proofs.Courcelle.exists_linearTime_program_modelChecking.html https://laxarchive.org/lax-12/ https://laxarchive.org/lax-12/Lax12.Admissibility.html https://laxarchive.org/lax-12/Lax12.AdmissibilityBound.html https://laxarchive.org/lax-12/Lax12.ColoringNumbers.html https://laxarchive.org/lax-12/Lax12.GraphClasses.html https://laxarchive.org/lax-12/Lax12.NeighborhoodComplexity.html https://laxarchive.org/lax-12/Lax12.NowhereDenseClasses.html https://laxarchive.org/lax-12/Lax12.NowhereDenseDensity.html https://laxarchive.org/lax-12/Lax12.NowhereDenseNC.html https://laxarchive.org/lax-12/Lax12.NowhereDenseUQW.html https://laxarchive.org/lax-12/Lax12.NowhereDenseWcol.html https://laxarchive.org/lax-12/Lax12.ShallowMinorDensity.html https://laxarchive.org/lax-12/Lax12.ShallowTopologicalMinors.html https://laxarchive.org/lax-12/Lax12.StrongColoringBound.html https://laxarchive.org/lax-12/Lax12.UniformQuasiWideness.html https://laxarchive.org/lax-12/Lax12.WeakColoringBound.html https://laxarchive.org/lax-12/Lax12Proofs.AdmissibilityBound.adm_le_of_hasTopologicalDensityAtMost.html https://laxarchive.org/lax-12/Lax12Proofs.NowhereDenseDensity.hasSubpolynomialDensity_of_nowhereDense.html https://laxarchive.org/lax-12/Lax12Proofs.NowhereDenseNC.hasAlmostLinearNC_of_nowhereDense.html https://laxarchive.org/lax-12/Lax12Proofs.NowhereDenseUQW.uniformlyQuasiWide_of_nowhereDense.html https://laxarchive.org/lax-12/Lax12Proofs.NowhereDenseWcol.hasSubpolynomialWcol_of_nowhereDense.html https://laxarchive.org/lax-12/Lax12Proofs.StrongColoringBound.scol_le_of_adm.html https://laxarchive.org/lax-12/Lax12Proofs.WeakColoringBound.wcol_le_of_scol.html https://laxarchive.org/lax-13/ https://laxarchive.org/lax-13/Lax13.Ram.html https://laxarchive.org/lax-13/Lax13.RamComputes.html https://laxarchive.org/lax-132576/ https://laxarchive.org/lax-132576/Lax132576.BimachineOfRational.html https://laxarchive.org/lax-132576/Lax132576.Bimachines.html https://laxarchive.org/lax-132576/Lax132576.EpsilonEliminationExtended.html https://laxarchive.org/lax-132576/Lax132576.EpsilonEliminationFinite.html https://laxarchive.org/lax-132576/Lax132576.EpsilonFreeAutomata.html https://laxarchive.org/lax-132576/Lax132576.HomomorphismComplement.html https://laxarchive.org/lax-132576/Lax132576.LabelledAutomata.html https://laxarchive.org/lax-132576/Lax132576.LeftDistance.html https://laxarchive.org/lax-132576/Lax132576.LengthPreservingDecidable.html https://laxarchive.org/lax-132576/Lax132576.LengthPreservingNormalForm.html https://laxarchive.org/lax-132576/Lax132576.LengthPreservingTyping.html https://laxarchive.org/lax-132576/Lax132576.MealyDecidable.html https://laxarchive.org/lax-132576/Lax132576.MealyMachineIndependent.html https://laxarchive.org/lax-132576/Lax132576.PrimeRationalFunctions.html https://laxarchive.org/lax-132576/Lax132576.PrimesOfRational.html https://laxarchive.org/lax-132576/Lax132576.RationalComposition.html https://laxarchive.org/lax-132576/Lax132576.RationalContinuity.html https://laxarchive.org/lax-132576/Lax132576.RationalEquivalenceDecidable.html https://laxarchive.org/lax-132576/Lax132576.RationalEquivalenceUndecidable.html https://laxarchive.org/lax-132576/Lax132576.RationalFunctions.html https://laxarchive.org/lax-132576/Lax132576.RationalMachineIndependent.html https://laxarchive.org/lax-132576/Lax132576.RationalMealyCharacterisation.html https://laxarchive.org/lax-132576/Lax132576.RationalOfBimachine.html https://laxarchive.org/lax-132576/Lax132576.RationalOfPrimes.html https://laxarchive.org/lax-132576/Lax132576.RationalOfWeightedPrecomposition.html https://laxarchive.org/lax-132576/Lax132576.RationalPrimes.html https://laxarchive.org/lax-132576/Lax132576.RationalRelations.html https://laxarchive.org/lax-132576/Lax132576.RationalUnambiguousBimachine.html https://laxarchive.org/lax-132576/Lax132576.RationalViaWeighted.html https://laxarchive.org/lax-132576/Lax132576.SequentialCharacterisation.html https://laxarchive.org/lax-132576/Lax132576.SequentialTransducers.html https://laxarchive.org/lax-132576/Lax132576.StringHomomorphisms.html https://laxarchive.org/lax-132576/Lax132576.SubsequentialCharacterisation.html https://laxarchive.org/lax-132576/Lax132576.SubsequentialTransducers.html https://laxarchive.org/lax-132576/Lax132576.TransducerCodes.html https://laxarchive.org/lax-132576/Lax132576.UnambiguousOfRational.html https://laxarchive.org/lax-132576/Lax132576.Uniformisation.html https://laxarchive.org/lax-132576/Lax132576.WeightedAutomata.html https://laxarchive.org/lax-132576/Lax132576.WeightedCodes.html https://laxarchive.org/lax-132576/Lax132576.WeightedEquivalenceDecidable.html https://laxarchive.org/lax-132576/Lax132576.WeightedPrecomposition.html https://laxarchive.org/lax-132576/Lax132576.WeightedZeronessDecidable.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.compClosure_primeRational_of_isRationalFun.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.decidable_codeRel_eq.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.decidable_isMealy.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.decidable_lengthPreserving.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.decidable_wcodeEval_eq.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.decidable_wcodeEval_eq_zero.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.exists_extended_epsilonFree.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.exists_isUnambiguousRel_le.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.exists_nfao_epsilonFree.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.exists_nfao_length_eq.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isBimachine_of_isRationalFun.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isMealy_iff.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isMealy_iff_of_isRationalFun.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalFun_iff.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalFun_iff_compClosure_primeRational.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalFun_iff_weighted_precomp.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalFun_of_compClosure_primeRational.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalFun_of_isBimachine.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalFun_of_weighted_precomp.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalRel_comp.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isRationalRel_ne_homOf.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isSequential_iff.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isSubsequential_iff.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isUnambiguousRel_of_isRationalFun.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.isWeighted_comp_of_isRationalFun.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.lengthPreserving_iff_typing.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.not_computablePred_codeRel_eq.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.relContinuous_of_isRationalRel.html https://laxarchive.org/lax-132576/Lax132576Proofs.Results.tfae_rational_unambiguous_bimachine.html https://laxarchive.org/lax-14/ https://laxarchive.org/lax-14/Lax14.MulticolorRamsey.html https://laxarchive.org/lax-14/Lax14.OrderTypes.html https://laxarchive.org/lax-14/Lax14.Ramsey.html https://laxarchive.org/lax-14/Lax14.TupleRamsey.html https://laxarchive.org/lax-14/Lax14Proofs.MulticolorRamsey.exists_monochromatic_set.html https://laxarchive.org/lax-14/Lax14Proofs.Ramsey.exists_clique_or_indepSet.html https://laxarchive.org/lax-14/Lax14Proofs.TupleRamsey.exists_orderType_homogeneous.html https://laxarchive.org/lax-146103/ https://laxarchive.org/lax-146103/Lax146103.MSOAutomataEquivalence.html https://laxarchive.org/lax-146103/Lax146103.MSOSemantics.html https://laxarchive.org/lax-146103/Lax146103.MSOSyntax.html https://laxarchive.org/lax-146103/Lax146103.MSOToNFA.html https://laxarchive.org/lax-146103/Lax146103.NFARecognizable.html https://laxarchive.org/lax-146103/Lax146103.NFAToMSO.html https://laxarchive.org/lax-146103/Lax146103.WordStructure.html https://laxarchive.org/lax-146103/Lax146103Proofs.existsUnique_wordStructure_proof.html https://laxarchive.org/lax-146103/Lax146103Proofs.mso_definable_is_nfaRecognizable_proof.html https://laxarchive.org/lax-146103/Lax146103Proofs.nfaRecognizable_iff_msoDefinable_proof.html https://laxarchive.org/lax-146103/Lax146103Proofs.nfa_definable_by_mso_proof.html https://laxarchive.org/lax-153141/ https://laxarchive.org/lax-153141/Lax153141.FunctionalEquivalence.html https://laxarchive.org/lax-153141/Lax153141.GraphParameters.html https://laxarchive.org/lax-153141/Lax153141.MixedMinorNumber.html https://laxarchive.org/lax-153141/Lax153141.MixedMinorNumberFromTwinWidth.html https://laxarchive.org/lax-153141/Lax153141.TwinWidthFromMixedMinorNumber.html https://laxarchive.org/lax-153141/Lax153141Proofs.Main.twin_width_functionally_equivalent_mixed_minor_number.html https://laxarchive.org/lax-153141/Lax153141Proofs.MixedMinorNumberFromTwinWidth.exists_mixedMinorNumber_bound_of_twinWidth.html https://laxarchive.org/lax-153141/Lax153141Proofs.TwinWidthFromMixedMinorNumber.exists_twinWidth_bound_of_mixedMinorNumber.html https://laxarchive.org/lax-157538/ https://laxarchive.org/lax-157538/paper-pdf.html https://laxarchive.org/lax-157538/paper.html https://laxarchive.org/lax-17/ https://laxarchive.org/lax-17/Lax17.Crossbar.html https://laxarchive.org/lax-17/Lax17.CrossbarOrPseudoGrid.html https://laxarchive.org/lax-17/Lax17.CrossbarStitching.html https://laxarchive.org/lax-17/Lax17.CutMatchingTheorem.html https://laxarchive.org/lax-17/Lax17.Degree.html https://laxarchive.org/lax-17/Lax17.EdgeMenger.html https://laxarchive.org/lax-17/Lax17.ExpanderGrid.html https://laxarchive.org/lax-17/Lax17.Expansion.html https://laxarchive.org/lax-17/Lax17.ExponentTenCrossbarDichotomy.html https://laxarchive.org/lax-17/Lax17.FixedRoundGridMinor.html https://laxarchive.org/lax-17/Lax17.Grid.html https://laxarchive.org/lax-17/Lax17.GridMinor.html https://laxarchive.org/lax-17/Lax17.HairyPathOfSetsFromTreewidth.html https://laxarchive.org/lax-17/Lax17.HindOellermann.html https://laxarchive.org/lax-17/Lax17.Linkedness.html https://laxarchive.org/lax-17/Lax17.LocalRoutingOrGrid.html https://laxarchive.org/lax-17/Lax17.LowDegreeWellLinkedCore.html https://laxarchive.org/lax-17/Lax17.Mader.html https://laxarchive.org/lax-17/Lax17.Minor.html https://laxarchive.org/lax-17/Lax17.NodeWellLinkedSetFromTreewidth.html https://laxarchive.org/lax-17/Lax17.ParallelClusterSplitting.html https://laxarchive.org/lax-17/Lax17.PathOfSets.html https://laxarchive.org/lax-17/Lax17.Paths.html https://laxarchive.org/lax-17/Lax17.PolynomialGridMinor.html https://laxarchive.org/lax-17/Lax17.PowerRoot.html https://laxarchive.org/lax-17/Lax17.SinghLau.html https://laxarchive.org/lax-17/Lax17.SmallLinkedSubsets.html https://laxarchive.org/lax-17/Lax17.SpanningTreeRounding.html https://laxarchive.org/lax-17/Lax17.StrongPathExtraction.html https://laxarchive.org/lax-17/Lax17.StrongPathOfSetsContainsGrid.html https://laxarchive.org/lax-17/Lax17.StrongPathOfSetsFromTreewidth.html https://laxarchive.org/lax-17/Lax17.StrongTreeOfSetsConstruction.html https://laxarchive.org/lax-17/Lax17.TerminalConnectivity.html https://laxarchive.org/lax-17/Lax17.TerminalElementMenger.html https://laxarchive.org/lax-17/Lax17.TreeOfSets.html https://laxarchive.org/lax-17/Lax17.Treewidth.html https://laxarchive.org/lax-17/Lax17.TreewidthMinorMonotonicity.html https://laxarchive.org/lax-17/Lax17.TreewidthSparsifier.html https://laxarchive.org/lax-17/Lax17.VertexMenger.html https://laxarchive.org/lax-17/Lax17.WellLinkednessBoosting.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.crossbarOrPseudoGrid.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.crossbarStitching.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.degreeThreeTreewidthSparsifier.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.edgeMenger.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.expanderContainsGrid.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.exponentTenCrossbarDichotomy.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.hairyPathOfSetsFromTreewidth.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.hindOellermannDeletionContraction.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.localRoutingOrGrid.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.logarithmicCutMatchingExpansion.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.lowDegreeWellLinkedCore.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.maderAdmissibleSplitOff.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.nodeWellLinkedSetFromTreewidth.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.parallelClusterSplitting.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.singhLauBoundedDegreeSpanningTree.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.smallLinkedSubsets.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.strongPathExtraction.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.strongPathOfSetsContainsGrid.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.strongPathOfSetsFromTreewidth.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.strongTreeOfSetsConstruction.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.terminalElementMenger.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.treewidth_mono_minor.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.vertexMenger.html https://laxarchive.org/lax-17/Lax17Proofs.Exposed.wellLinkednessBoosting.html https://laxarchive.org/lax-17/Lax17Proofs.Final.polynomial_grid_minor_eight_add_epsilon.html https://laxarchive.org/lax-17/Lax17Proofs.Final.polynomial_grid_minor_eight_polylog.html https://laxarchive.org/lax-17/Lax17Proofs.Final.polynomial_grid_minor_fixed_t.html https://laxarchive.org/lax-18/ https://laxarchive.org/lax-18/Lax18.EdgeDensity.html https://laxarchive.org/lax-18/Lax18.EnergyIncrement.html https://laxarchive.org/lax-18/Lax18.EquitableCleanup.html https://laxarchive.org/lax-18/Lax18.FiniteGraphPartitions.html https://laxarchive.org/lax-18/Lax18.PartitionEnergy.html https://laxarchive.org/lax-18/Lax18.PartitionEnergyBounds.html https://laxarchive.org/lax-18/Lax18.PartitionEnergyMonotonicity.html https://laxarchive.org/lax-18/Lax18.RegularPairs.html https://laxarchive.org/lax-18/Lax18.RegularPartitions.html https://laxarchive.org/lax-18/Lax18.SzemerediRegularityLemma.html https://laxarchive.org/lax-18/Lax18Proofs.energy_increment_refinement.html https://laxarchive.org/lax-18/Lax18Proofs.equitable_cleanup.html https://laxarchive.org/lax-18/Lax18Proofs.partitionEnergy_mem_unitInterval.html https://laxarchive.org/lax-18/Lax18Proofs.partitionEnergy_mono_of_refines.html https://laxarchive.org/lax-18/Lax18Proofs.szemeredi_regularity_lemma.html https://laxarchive.org/lax-194892/ https://laxarchive.org/lax-194892/Lax194892.BalancedRunReachability.html https://laxarchive.org/lax-194892/Lax194892.ChildConfigurationGraphs.html https://laxarchive.org/lax-194892/Lax194892.ChildGraphOfConfiguration.html https://laxarchive.org/lax-194892/Lax194892.ChildrenOfChildGraph.html https://laxarchive.org/lax-194892/Lax194892.ChildrenOfConfiguration.html https://laxarchive.org/lax-194892/Lax194892.ForComposition.html https://laxarchive.org/lax-194892/Lax194892.ForIffPolyregular.html https://laxarchive.org/lax-194892/Lax194892.ForOfPebble.html https://laxarchive.org/lax-194892/Lax194892.ForOfPolyregular.html https://laxarchive.org/lax-194892/Lax194892.ForTransducers.html https://laxarchive.org/lax-194892/Lax194892.MarkedSquaring.html https://laxarchive.org/lax-194892/Lax194892.PebbleConfigurationEncoding.html https://laxarchive.org/lax-194892/Lax194892.PebbleContinuity.html https://laxarchive.org/lax-194892/Lax194892.PebbleIffFor.html https://laxarchive.org/lax-194892/Lax194892.PebbleOfFor.html https://laxarchive.org/lax-194892/Lax194892.PebbleReachability.html https://laxarchive.org/lax-194892/Lax194892.PebbleTransducers.html https://laxarchive.org/lax-194892/Lax194892.PolyregularContinuity.html https://laxarchive.org/lax-194892/Lax194892.PolyregularFunctions.html https://laxarchive.org/lax-194892/Lax194892.PolyregularOfFor.html https://laxarchive.org/lax-194892/Lax194892.PrenexNormalForm.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.continuous_of_isPebbleTransducer.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.continuous_of_isPolyregular.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.exists_forTransducer_cgOut.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.exists_forTransducer_childGraph.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.exists_forTransducer_children.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.exists_prenexForm.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.exists_regular_balancedLang.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.exists_regular_reachLang.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.isForTransducer_comp.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.isForTransducer_of_isPebbleTransducer.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.isForTransducer_of_isPolyregular.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.isPebbleTransducer_iff_isForTransducer.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.isPebbleTransducer_of_isForTransducer.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.isPolyregular_iff_isForTransducer.html https://laxarchive.org/lax-194892/Lax194892Proofs.Results.isPolyregular_of_isForTransducer.html https://laxarchive.org/lax-195003/ https://laxarchive.org/lax-195003/Lax195003.WelzlOrders.html https://laxarchive.org/lax-195003/Lax195003.WelzlOrdersComputation.html https://laxarchive.org/lax-195003/Lax195003.WelzlOrdersInGraphs.html https://laxarchive.org/lax-195003/Lax195003.WelzlOrdersNeighborhoodComplexity.html https://laxarchive.org/lax-195003/Lax195003.WelzlOrdersNeighborhoodSetSystem.html https://laxarchive.org/lax-195003/Lax195003.WordRamRandomness.html https://laxarchive.org/lax-199508/ https://laxarchive.org/lax-199508/Lax199508.Admissibility.html https://laxarchive.org/lax-199508/Lax199508.AdmissibilityBound.html https://laxarchive.org/lax-199508/Lax199508.ColoringNumbers.html https://laxarchive.org/lax-199508/Lax199508.GraphClasses.html https://laxarchive.org/lax-199508/Lax199508.NeighborhoodComplexity.html https://laxarchive.org/lax-199508/Lax199508.NowhereDenseClasses.html https://laxarchive.org/lax-199508/Lax199508.NowhereDenseDensity.html https://laxarchive.org/lax-199508/Lax199508.NowhereDenseNC.html https://laxarchive.org/lax-199508/Lax199508.NowhereDenseUQW.html https://laxarchive.org/lax-199508/Lax199508.NowhereDenseWcol.html https://laxarchive.org/lax-199508/Lax199508.ShallowMinorDensity.html https://laxarchive.org/lax-199508/Lax199508.ShallowTopologicalMinors.html https://laxarchive.org/lax-199508/Lax199508.StrongColoringBound.html https://laxarchive.org/lax-199508/Lax199508.UniformQuasiWideness.html https://laxarchive.org/lax-199508/Lax199508.WeakColoringBound.html https://laxarchive.org/lax-199508/Lax199508Proofs.AdmissibilityBound.adm_le_of_hasTopologicalDensityAtMost.html https://laxarchive.org/lax-199508/Lax199508Proofs.NowhereDenseDensity.hasSubpolynomialDensity_of_nowhereDense.html https://laxarchive.org/lax-199508/Lax199508Proofs.NowhereDenseNC.hasAlmostLinearNC_of_nowhereDense.html https://laxarchive.org/lax-199508/Lax199508Proofs.NowhereDenseUQW.uniformlyQuasiWide_of_nowhereDense.html https://laxarchive.org/lax-199508/Lax199508Proofs.NowhereDenseWcol.hasSubpolynomialWcol_of_nowhereDense.html https://laxarchive.org/lax-199508/Lax199508Proofs.StrongColoringBound.scol_le_of_adm.html https://laxarchive.org/lax-199508/Lax199508Proofs.WeakColoringBound.wcol_le_of_scol.html https://laxarchive.org/lax-214022/ https://laxarchive.org/lax-214022/Lax214022.CographWelzlLowerBound.html https://laxarchive.org/lax-214022/Lax214022.CographWelzlUpperBound.html https://laxarchive.org/lax-214022/Lax214022.Cographs.html https://laxarchive.org/lax-214022/Lax214022Proofs.CographWelzlLowerBound.exists_cograph_requiring_crossingNumber_at_least.html https://laxarchive.org/lax-214022/Lax214022Proofs.CographWelzlUpperBound.exists_welzlOrder_crossingNumber_le_four_clog_add_one.html https://laxarchive.org/lax-218471/ https://laxarchive.org/lax-218471/Lax218471.Combinators.html https://laxarchive.org/lax-218471/Lax218471.PolynomialTime.html https://laxarchive.org/lax-218471/Lax218471.Programs.html https://laxarchive.org/lax-218471/Lax218471.Subroutine.html https://laxarchive.org/lax-218471/Lax218471.Substitution.html https://laxarchive.org/lax-218471/Lax218471Proofs.Combinators.comp.html https://laxarchive.org/lax-218471/Lax218471Proofs.Combinators.graph_realizable.html https://laxarchive.org/lax-218471/Lax218471Proofs.Combinators.output_size.html https://laxarchive.org/lax-218471/Lax218471Proofs.Substitution.compile.html https://laxarchive.org/lax-218471/Lax218471Proofs.Substitution.polytime.html https://laxarchive.org/lax-228581/ https://laxarchive.org/lax-228581/Lax228581.ExponentialSeparation.html https://laxarchive.org/lax-228581/Lax228581.Treewidth.html https://laxarchive.org/lax-228581/Lax228581.TwinWidth.html https://laxarchive.org/lax-228581/Lax228581Proofs.Main.exists_treewidth_le_and_two_pow_lt_twinWidth.html https://laxarchive.org/lax-228581/paper-pdf.html https://laxarchive.org/lax-228581/paper.html https://laxarchive.org/lax-242665/ https://laxarchive.org/lax-242665/Lax242665.InfinitelyManyPrimes.html https://laxarchive.org/lax-242665/Lax242665.PrimeDivisor.html https://laxarchive.org/lax-242665/Lax242665.Primes.html https://laxarchive.org/lax-242665/Lax242665.TwinPrimes.html https://laxarchive.org/lax-242665/Lax242665Proofs.InfinitelyManyPrimes.exists_prime_gt.html https://laxarchive.org/lax-242665/Lax242665Proofs.PrimeDivisor.exists_prime_dvd.html https://laxarchive.org/lax-242665/paper-pdf.html https://laxarchive.org/lax-242665/paper.html https://laxarchive.org/lax-251941/ https://laxarchive.org/lax-251941/Lax251941.Acceptance.html https://laxarchive.org/lax-251941/Lax251941.AcceptanceUndecidable.html https://laxarchive.org/lax-251941/Lax251941.PostCorrespondence.html https://laxarchive.org/lax-251941/Lax251941.PostCorrespondenceIndexUndecidable.html https://laxarchive.org/lax-251941/Lax251941.PostCorrespondenceReduction.html https://laxarchive.org/lax-251941/Lax251941.PostCorrespondenceUndecidable.html https://laxarchive.org/lax-251941/Lax251941.TapeAcceptanceUndecidable.html https://laxarchive.org/lax-251941/Lax251941.TuringCompleteness.html https://laxarchive.org/lax-251941/Lax251941.TuringMachines.html https://laxarchive.org/lax-251941/Lax251941Proofs.Results.computablePred_accepts_of_hasMatch.html https://laxarchive.org/lax-251941/Lax251941Proofs.Results.exists_tm_accepts_iff_dom.html https://laxarchive.org/lax-251941/Lax251941Proofs.Results.not_computablePred_accepts.html https://laxarchive.org/lax-251941/Lax251941Proofs.Results.not_computablePred_hasMatch.html https://laxarchive.org/lax-251941/Lax251941Proofs.Results.not_computablePred_solvable.html https://laxarchive.org/lax-251941/Lax251941Proofs.Results.not_turingDecidable_ATM.html https://laxarchive.org/lax-271696/ https://laxarchive.org/lax-271696/Lax271696.CliqueExpr.html https://laxarchive.org/lax-271696/Lax271696.ConnectedComponents.html https://laxarchive.org/lax-271696/Lax271696.Courcelle.html https://laxarchive.org/lax-271696/Lax271696.GraphEncoding.html https://laxarchive.org/lax-271696/Lax271696.InstanceEncoding.html https://laxarchive.org/lax-271696/Lax271696.Mso.html https://laxarchive.org/lax-271696/Lax271696.VertexCover.html https://laxarchive.org/lax-271696/Lax271696Proofs.CCMain.exists_linearTime_program_ccLabels.html https://laxarchive.org/lax-271696/Lax271696Proofs.Courcelle.exists_linearTime_program_modelChecking.html https://laxarchive.org/lax-296731/ https://laxarchive.org/lax-296731/Lax296731.HaeuplerSahaSrinivasanDefinitions.html https://laxarchive.org/lax-296731/Lax296731.HaeuplerSahaSrinivasanTheorem22.html https://laxarchive.org/lax-296731/Lax296731.MoserTardos.html https://laxarchive.org/lax-296731/Lax296731.MoserTardosDefinitions.html https://laxarchive.org/lax-296731/Lax296731Proofs.moser_tardos.html https://laxarchive.org/lax-296731/Lax296731Proofs.theorem_2_2.html https://laxarchive.org/lax-3/ https://laxarchive.org/lax-3/Lax3.ColoredGraphs.html https://laxarchive.org/lax-3/Lax3.DistFO.html https://laxarchive.org/lax-3/Lax3.FirstOrder.html https://laxarchive.org/lax-3/Lax3.Locality.html https://laxarchive.org/lax-3/Lax3.ModelChecking.html https://laxarchive.org/lax-3/Lax3.NeighborhoodCoverBound.html https://laxarchive.org/lax-3/Lax3.NeighborhoodCovers.html https://laxarchive.org/lax-3/Lax3.NormalForm.html https://laxarchive.org/lax-3/Lax3.NowhereDenseSplitter.html https://laxarchive.org/lax-3/Lax3.OrderedNeighborhoodCover.html https://laxarchive.org/lax-3/Lax3.ScatterSentences.html https://laxarchive.org/lax-3/Lax3.SplitterGame.html https://laxarchive.org/lax-3/Lax3Proofs.Assembly.locality.html https://laxarchive.org/lax-3/Lax3Proofs.Assembly.normalForm.html https://laxarchive.org/lax-3/Lax3Proofs.CoverConstruction.exists_neighborhoodCover_degree_wcol.html https://laxarchive.org/lax-3/Lax3Proofs.CoverConstruction.isNeighborhoodCover_wreach.html https://laxarchive.org/lax-3/Lax3Proofs.ModelChecking.exists_almostLinearTime_program_modelChecking.html https://laxarchive.org/lax-3/Lax3Proofs.SplitterWin.splitterWins_of_nowhereDense.html https://laxarchive.org/lax-303562/ https://laxarchive.org/lax-303562/Lax303562.AnnotatorCeiling.html https://laxarchive.org/lax-303562/Lax303562.Candidate.html https://laxarchive.org/lax-303562/Lax303562.Duplication.html https://laxarchive.org/lax-303562/Lax303562.Matching.html https://laxarchive.org/lax-303562/Lax303562.PanopticQuality.html https://laxarchive.org/lax-303562/Lax303562.Removal.html https://laxarchive.org/lax-303562/Lax303562.WeightedFamily.html https://laxarchive.org/lax-303562/Lax303562Proofs.AnnotatorCeiling.ceiling_two_annotators.html https://laxarchive.org/lax-303562/Lax303562Proofs.AnnotatorCeiling.pq_lt_one_of_disagreement.html https://laxarchive.org/lax-303562/Lax303562Proofs.Candidate.candidate_iff.html https://laxarchive.org/lax-303562/Lax303562Proofs.Candidate.equilibrium.html https://laxarchive.org/lax-303562/Lax303562Proofs.Candidate.le_of_below.html https://laxarchive.org/lax-303562/Lax303562Proofs.Candidate.lt_of_above.html https://laxarchive.org/lax-303562/Lax303562Proofs.Duplication.dup_iff.html https://laxarchive.org/lax-303562/Lax303562Proofs.Duplication.falsePositive_lt.html https://laxarchive.org/lax-303562/Lax303562Proofs.Duplication.opposite_directions.html https://laxarchive.org/lax-303562/Lax303562Proofs.Matching.matches_at_most_one.html https://laxarchive.org/lax-303562/Lax303562Proofs.Matching.threshold_sharp.html https://laxarchive.org/lax-303562/Lax303562Proofs.Matching.ties_at_half.html https://laxarchive.org/lax-303562/Lax303562Proofs.Removal.le_of_above.html https://laxarchive.org/lax-303562/Lax303562Proofs.Removal.lt_of_below.html https://laxarchive.org/lax-303562/Lax303562Proofs.Removal.removal_iff.html https://laxarchive.org/lax-303562/Lax303562Proofs.Removal.removal_inverts_inclusion.html https://laxarchive.org/lax-303562/Lax303562Proofs.WeightedFamily.dup_iff.html https://laxarchive.org/lax-303562/Lax303562Proofs.WeightedFamily.falsePositive_eq_of_zero_weight.html https://laxarchive.org/lax-303562/Lax303562Proofs.WeightedFamily.falsePositive_lt.html https://laxarchive.org/lax-303562/Lax303562Proofs.WeightedFamily.no_weights_remove_incentive.html https://laxarchive.org/lax-303562/Lax303562Proofs.WeightedFamily.opposite_directions.html https://laxarchive.org/lax-303562/Lax303562Proofs.WeightedFamily.pq_eq_wm_half.html https://laxarchive.org/lax-314295/ https://laxarchive.org/lax-314295/Lax314295.AperiodicBimachineOfFORelabelling.html https://laxarchive.org/lax-314295/Lax314295.AperiodicOfFO.html https://laxarchive.org/lax-314295/Lax314295.BuchiTheorem.html https://laxarchive.org/lax-314295/Lax314295.FOIffAperiodic.html https://laxarchive.org/lax-314295/Lax314295.FOOfAperiodic.html https://laxarchive.org/lax-314295/Lax314295.FORelabellingIffAperiodicBimachine.html https://laxarchive.org/lax-314295/Lax314295.FORelabellingOfAperiodicBimachine.html https://laxarchive.org/lax-314295/Lax314295.KTypes.html https://laxarchive.org/lax-314295/Lax314295.KTypesAperiodicity.html https://laxarchive.org/lax-314295/Lax314295.KTypesCongruence.html https://laxarchive.org/lax-314295/Lax314295.KTypesFOEquivalence.html https://laxarchive.org/lax-314295/Lax314295.KTypesRefinement.html https://laxarchive.org/lax-314295/Lax314295.LogicPrecomputation.html https://laxarchive.org/lax-314295/Lax314295.MSOAnnotationRegular.html https://laxarchive.org/lax-314295/Lax314295.MSODefinableOfRegular.html https://laxarchive.org/lax-314295/Lax314295.MSOFreeVariables.html https://laxarchive.org/lax-314295/Lax314295.MSOLogic.html https://laxarchive.org/lax-314295/Lax314295.MSORelabellings.html https://laxarchive.org/lax-314295/Lax314295.MSOTransductionIffRegular.html https://laxarchive.org/lax-314295/Lax314295.MSOTransductionOfRegular.html https://laxarchive.org/lax-314295/Lax314295.MSOTransductions.html https://laxarchive.org/lax-314295/Lax314295.RationalIffRelabelling.html https://laxarchive.org/lax-314295/Lax314295.RationalOfRelabelling.html https://laxarchive.org/lax-314295/Lax314295.RegularOfMSODefinable.html https://laxarchive.org/lax-314295/Lax314295.RegularOfMSOTransduction.html https://laxarchive.org/lax-314295/Lax314295.RelabellingOfRational.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.exists_aperiodic_dfa_of_foDefinable.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.exists_rational_precomputation.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.exists_tp_npow_eq.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.foDefinable_iff_aperiodic_dfa.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.foDefinable_of_aperiodic_dfa.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isAperiodicBimachine_of_isFORelabelling.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isFORelabelling_iff_isAperiodicBimachine.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isFORelabelling_of_isAperiodicBimachine.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isMSORelabelling_of_isRationalFun.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isMSOTransduction_iff_isRegularFun.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isMSOTransduction_of_isRegularFun.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isRationalFun_iff_isMSORelabelling.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isRationalFun_of_isMSORelabelling.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isRegularFun_of_isMSOTransduction.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isRegular_annotated.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isRegular_annotation.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isRegular_iff_msoDefinable.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.isRegular_of_msoDefinable.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.msoDefinable_of_isRegular.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.tp_append_congr.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.tp_eq_iff_fo_equiv.html https://laxarchive.org/lax-314295/Lax314295Proofs.Results.tp_eq_of_tp_succ_eq.html https://laxarchive.org/lax-332265/ https://laxarchive.org/lax-332265/Lax332265.HadwigerT7.html https://laxarchive.org/lax-332265/Lax332265.SixColorable.html https://laxarchive.org/lax-345067/ https://laxarchive.org/lax-345067/Lax345067.MulticolorRamsey.html https://laxarchive.org/lax-345067/Lax345067.OrderTypes.html https://laxarchive.org/lax-345067/Lax345067.Ramsey.html https://laxarchive.org/lax-345067/Lax345067.TupleRamsey.html https://laxarchive.org/lax-345067/Lax345067Proofs.MulticolorRamsey.exists_monochromatic_set.html https://laxarchive.org/lax-345067/Lax345067Proofs.Ramsey.exists_clique_or_indepSet.html https://laxarchive.org/lax-345067/Lax345067Proofs.TupleRamsey.exists_orderType_homogeneous.html https://laxarchive.org/lax-345332/ https://laxarchive.org/lax-345332/Lax345332.Construction.html https://laxarchive.org/lax-345332/Lax345332.ThreeFourSat.html https://laxarchive.org/lax-345332/Lax345332Proofs.Reduction.npHard.html https://laxarchive.org/lax-345332/Lax345332Proofs.Reduction.reduce_correct.html https://laxarchive.org/lax-345332/Lax345332Proofs.Transform.transform_isThreeFour.html https://laxarchive.org/lax-345332/Lax345332Proofs.Transform.transform_sat.html https://laxarchive.org/lax-379983/ https://laxarchive.org/lax-379983/Lax379983.FeedbackEdgeNumber.html https://laxarchive.org/lax-379983/Lax379983.FeedbackNumberComparison.html https://laxarchive.org/lax-379983/Lax379983.FeedbackVertexNumber.html https://laxarchive.org/lax-379983/Lax379983Proofs.feedbackVertexNumber_le_feedbackEdgeNumber.html https://laxarchive.org/lax-391470/ https://laxarchive.org/lax-391470/Lax391470.AuxiliaryProblem.html https://laxarchive.org/lax-391470/Lax391470.BinaryEncoding.html https://laxarchive.org/lax-391470/Lax391470.IntegralStartTimes.html https://laxarchive.org/lax-391470/Lax391470.Lemma1.html https://laxarchive.org/lax-391470/Lax391470.Lemma2.html https://laxarchive.org/lax-391470/Lax391470.SatConstruction.html https://laxarchive.org/lax-391470/Lax391470.Scheduling.html https://laxarchive.org/lax-391470/Lax391470.StackedConstruction.html https://laxarchive.org/lax-391470/Lax391470.Theorem1.html https://laxarchive.org/lax-391470/Lax391470Proofs.Hardness.aux_manyOne_twoLengths.html https://laxarchive.org/lax-391470/Lax391470Proofs.Hardness.aux_npComplete.html https://laxarchive.org/lax-391470/Lax391470Proofs.Hardness.aux_npHard.html https://laxarchive.org/lax-391470/Lax391470Proofs.Hardness.twoLengths_npComplete.html https://laxarchive.org/lax-391470/Lax391470Proofs.Hardness.twoLengths_npHard.html https://laxarchive.org/lax-391470/Lax391470Proofs.IntegralStartTimes.realSchedulable_iff.html https://laxarchive.org/lax-391470/Lax391470Proofs.L1Final.reduce_polyTime.html https://laxarchive.org/lax-391470/Lax391470Proofs.L2Final.reduce_polyTime.html https://laxarchive.org/lax-391470/Lax391470Proofs.Reduce.lemma1_reduce_correct.html https://laxarchive.org/lax-391470/Lax391470Proofs.Reduce.lemma2_reduce_correct.html https://laxarchive.org/lax-391470/Lax391470Proofs.SatNumbering.ordered.html https://laxarchive.org/lax-391470/Lax391470Proofs.SatNumbering.satisfiable_of_solvable.html https://laxarchive.org/lax-391470/Lax391470Proofs.SatNumbering.solvable_of_satisfiable.html https://laxarchive.org/lax-391470/Lax391470Proofs.SatTimes.times_le.html https://laxarchive.org/lax-391470/Lax391470Proofs.StackedNumbering.correct.html https://laxarchive.org/lax-391470/Lax391470Proofs.StackedNumbering.lengthsIn.html https://laxarchive.org/lax-391470/Lax391470Proofs.StackedNumbering.times_le.html https://laxarchive.org/lax-391470/Lax391470Proofs.V1Final.twoLengths_mem_NP.html https://laxarchive.org/lax-391470/Lax391470Proofs.V2Final.aux_mem_NP.html https://laxarchive.org/lax-41/ https://laxarchive.org/lax-41/Lax41.HaeuplerSahaSrinivasanDefinitions.html https://laxarchive.org/lax-41/Lax41.HaeuplerSahaSrinivasanTheorem22.html https://laxarchive.org/lax-41/Lax41.MoserTardos.html https://laxarchive.org/lax-41/Lax41.MoserTardosDefinitions.html https://laxarchive.org/lax-41/Lax41Proofs.moser_tardos.html https://laxarchive.org/lax-41/Lax41Proofs.theorem_2_2.html https://laxarchive.org/lax-426240/ https://laxarchive.org/lax-426240/Lax426240.LcmDeterminant.html https://laxarchive.org/lax-426240/Lax426240Proofs.LcmDeterminant.det_lcmMatrix.html https://laxarchive.org/lax-426240/Lax426240Proofs.LcmDeterminant.det_lcmMatrix_closed.html https://laxarchive.org/lax-426240/Lax426240Proofs.LcmDeterminant.g_eq.html https://laxarchive.org/lax-429075/ https://laxarchive.org/lax-429075/Lax429075.CNF.html https://laxarchive.org/lax-429075/Lax429075.CircuitMachine.html https://laxarchive.org/lax-429075/Lax429075.Circuits.html https://laxarchive.org/lax-429075/Lax429075.CookLevin.html https://laxarchive.org/lax-429075/Lax429075.Encoding.html https://laxarchive.org/lax-429075/Lax429075.EncodingCorrect.html https://laxarchive.org/lax-429075/Lax429075.FiniteWitness.html https://laxarchive.org/lax-429075/Lax429075.GateCorrect.html https://laxarchive.org/lax-429075/Lax429075.Reductions.html https://laxarchive.org/lax-429075/Lax429075.SATEncoding.html https://laxarchive.org/lax-429075/Lax429075.SATHard.html https://laxarchive.org/lax-429075/Lax429075.SATinNP.html https://laxarchive.org/lax-429075/Lax429075.Satisfiability.html https://laxarchive.org/lax-429075/Lax429075.Tseitin.html https://laxarchive.org/lax-429075/Lax429075.TseitinCorrect.html https://laxarchive.org/lax-429075/Lax429075.VerifierCorrect.html https://laxarchive.org/lax-429075/Lax429075.VerifierTime.html https://laxarchive.org/lax-429075/Lax429075Proofs.Streaming.circuit_machine.html https://laxarchive.org/lax-429075/Lax429075Proofs.cook_levin.html https://laxarchive.org/lax-429075/Lax429075Proofs.encoding_roundtrip.html https://laxarchive.org/lax-429075/Lax429075Proofs.finite_witness.html https://laxarchive.org/lax-429075/Lax429075Proofs.gate_correct.html https://laxarchive.org/lax-429075/Lax429075Proofs.sat_encoding.html https://laxarchive.org/lax-429075/Lax429075Proofs.sat_hard.html https://laxarchive.org/lax-429075/Lax429075Proofs.sat_in_np.html https://laxarchive.org/lax-429075/Lax429075Proofs.tseitin_correct.html https://laxarchive.org/lax-429075/Lax429075Proofs.verifier_correct.html https://laxarchive.org/lax-429075/Lax429075Proofs.verifier_polynomial.html https://laxarchive.org/lax-429075/paper-pdf.html https://laxarchive.org/lax-429075/paper.html https://laxarchive.org/lax-434930/ https://laxarchive.org/lax-434930/Lax434930.BasicProperties.html https://laxarchive.org/lax-434930/Lax434930.Certificates.html https://laxarchive.org/lax-434930/Lax434930.ComplementClasses.html https://laxarchive.org/lax-434930/Lax434930.ComplementClosure.html https://laxarchive.org/lax-434930/Lax434930.ExponentialTime.html https://laxarchive.org/lax-434930/Lax434930.FiniteStackEquivalence.html https://laxarchive.org/lax-434930/Lax434930.LogarithmicSpace.html https://laxarchive.org/lax-434930/Lax434930.MachineModels.html https://laxarchive.org/lax-434930/Lax434930.ModelEquivalence.html https://laxarchive.org/lax-434930/Lax434930.NondeterministicLogarithmicSpace.html https://laxarchive.org/lax-434930/Lax434930.NondeterministicPolynomialSpace.html https://laxarchive.org/lax-434930/Lax434930.NondeterministicPolynomialTime.html https://laxarchive.org/lax-434930/Lax434930.PVersusNP.html https://laxarchive.org/lax-434930/Lax434930.PolynomialSpace.html https://laxarchive.org/lax-434930/Lax434930.PolynomialSpaceEquality.html https://laxarchive.org/lax-434930/Lax434930.PolynomialTime.html https://laxarchive.org/lax-434930/Lax434930.SingleTapeComplement.html https://laxarchive.org/lax-434930/Lax434930.SpaceBounds.html https://laxarchive.org/lax-434930/Lax434930.SpaceMachines.html https://laxarchive.org/lax-434930/Lax434930Proofs.BasicProperties.L_subset_NL.html https://laxarchive.org/lax-434930/Lax434930Proofs.Certificates.pair_injective.html https://laxarchive.org/lax-434930/Lax434930Proofs.Certificates.pair_length.html https://laxarchive.org/lax-434930/Lax434930Proofs.Certificates.unpair_pair.html https://laxarchive.org/lax-434930/Lax434930Proofs.ModelEquivalence.finiteStackP_eq_P.html https://laxarchive.org/lax-434930/Lax434930Proofs.ModelEquivalence.singleTapeP_eq_P.html https://laxarchive.org/lax-434930/Lax434930Proofs.ModelEquivalence.singleTape_closed_under_complement.html https://laxarchive.org/lax-434930/Lax434930Proofs.NL_subset_P.html https://laxarchive.org/lax-434930/Lax434930Proofs.NPSPACE_subset_EXPTIME.html https://laxarchive.org/lax-434930/Lax434930Proofs.NP_subset_PSPACE.html https://laxarchive.org/lax-434930/Lax434930Proofs.PSPACE_eq_NPSPACE.html https://laxarchive.org/lax-434930/Lax434930Proofs.P_subset_NP.html https://laxarchive.org/lax-434930/Lax434930Proofs.closed_under_complement.html https://laxarchive.org/lax-434930/paper-pdf.html https://laxarchive.org/lax-434930/paper.html https://laxarchive.org/lax-47/ https://laxarchive.org/lax-47/Lax47.Complexity.html https://laxarchive.org/lax-47/Lax47.Gap.html https://laxarchive.org/lax-47/Lax47.Hastad.html https://laxarchive.org/lax-47/Lax47.Machine.html https://laxarchive.org/lax-47/Lax47.Theorem12.html https://laxarchive.org/lax-47/Lax47Proofs.theorem_1_2.html https://laxarchive.org/lax-470956/ https://laxarchive.org/lax-470956/Lax470956.BinaryEncoding.html https://laxarchive.org/lax-470956/Lax470956.Construction1.html https://laxarchive.org/lax-470956/Lax470956.Construction2.html https://laxarchive.org/lax-470956/Lax470956.DynamicProgram.html https://laxarchive.org/lax-470956/Lax470956.Exact34Encoding.html https://laxarchive.org/lax-470956/Lax470956.InstanceEncoding.html https://laxarchive.org/lax-470956/Lax470956.MulticolouredClique.html https://laxarchive.org/lax-470956/Lax470956.NPHardness.html https://laxarchive.org/lax-470956/Lax470956.ParameterizedComplexity.html https://laxarchive.org/lax-470956/Lax470956.PolynomialReduction.html https://laxarchive.org/lax-470956/Lax470956.Preprocessing.html https://laxarchive.org/lax-470956/Lax470956.SatVariant.html https://laxarchive.org/lax-470956/Lax470956.Scheduling.html https://laxarchive.org/lax-470956/Lax470956.SchedulingProblems.html https://laxarchive.org/lax-470956/Lax470956.Theorem1.html https://laxarchive.org/lax-470956/Lax470956.Theorem2.html https://laxarchive.org/lax-470956/Lax470956.Theorem3.html https://laxarchive.org/lax-470956/Lax470956Proofs.Checker.reduce_ramPolytime.html https://laxarchive.org/lax-470956/Lax470956Proofs.Checker.sat34_polyReducesOn_allSchedulable.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction1Emit.emit_encodes.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction1Index.machines_eq.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction1Main.mcc_fptReduces_byMachines.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction1Reduce.reduce_correct.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction1Reduce.reduce_maps.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction1Reduce.reduce_param.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction1Renum.correct.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction2.correct.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction2.pmax_le.html https://laxarchive.org/lax-470956/Lax470956Proofs.Construction2.weights_one.html https://laxarchive.org/lax-470956/Lax470956Proofs.DynamicProgram.card_validState_le.html https://laxarchive.org/lax-470956/Lax470956Proofs.DynamicProgram.dp_eq_optAt.html https://laxarchive.org/lax-470956/Lax470956Proofs.DynamicProgram.solve_eq_optimum.html https://laxarchive.org/lax-470956/Lax470956Proofs.Emit.emit_encodes.html https://laxarchive.org/lax-470956/Lax470956Proofs.EmitProg.emit_computesInTime.html https://laxarchive.org/lax-470956/Lax470956Proofs.Pmax.pmaxOf_computesInTime.html https://laxarchive.org/lax-470956/Lax470956Proofs.Preprocessing.card_keep_alive_le.html https://laxarchive.org/lax-470956/Lax470956Proofs.Preprocessing.optimumOn_keep.html https://laxarchive.org/lax-470956/Lax470956Proofs.Reduce.reduce_correct.html https://laxarchive.org/lax-470956/Lax470956Proofs.Reduce.reduce_slice.html https://laxarchive.org/lax-470956/Lax470956Proofs.Theorem2.npHardOn_allSchedulable_pmax_le.html https://laxarchive.org/lax-470956/Lax470956Proofs.Theorem2.npHard_allSchedulable.html https://laxarchive.org/lax-470956/Lax470956Proofs.Theorem3.fptTime_byMachinesAndPmax.html https://laxarchive.org/lax-470956/Lax470956Proofs.Theorem3Fpt.fpt_byMachinesAndPmax.html https://laxarchive.org/lax-48/ https://laxarchive.org/lax-48/Lax48.ExponentialSeparation.html https://laxarchive.org/lax-48/Lax48.Treewidth.html https://laxarchive.org/lax-48/Lax48.TwinWidth.html https://laxarchive.org/lax-48/Lax48Proofs.Main.exists_treewidth_le_and_two_pow_lt_twinWidth.html https://laxarchive.org/lax-48/paper-pdf.html https://laxarchive.org/lax-48/paper.html https://laxarchive.org/lax-489179/ https://laxarchive.org/lax-489179/Lax489179.APSPHypothesis.html https://laxarchive.org/lax-489179/Lax489179.Algorithms.html https://laxarchive.org/lax-489179/Lax489179.DeterministicSemantics.html https://laxarchive.org/lax-489179/Lax489179.DistanceProperties.html https://laxarchive.org/lax-489179/Lax489179.ETH.html https://laxarchive.org/lax-489179/Lax489179.EncodingProperties.html https://laxarchive.org/lax-489179/Lax489179.HypothesisProperties.html https://laxarchive.org/lax-489179/Lax489179.IntegerEncoding.html https://laxarchive.org/lax-489179/Lax489179.SATTime.html https://laxarchive.org/lax-489179/Lax489179.SETH.html https://laxarchive.org/lax-489179/Lax489179.Satisfiability.html https://laxarchive.org/lax-489179/Lax489179.ThreeSUM.html https://laxarchive.org/lax-489179/Lax489179.ThreeSUMHypothesis.html https://laxarchive.org/lax-489179/Lax489179.TimeProperties.html https://laxarchive.org/lax-489179/Lax489179.TuringMachine.html https://laxarchive.org/lax-489179/Lax489179.WeightedAPSP.html https://laxarchive.org/lax-489179/Lax489179.WordPrograms.html https://laxarchive.org/lax-489179/Lax489179.WordTime.html https://laxarchive.org/lax-489179/Lax489179Proofs.decode_encode_int.html https://laxarchive.org/lax-489179/Lax489179Proofs.decode_encode_option.html https://laxarchive.org/lax-489179/Lax489179Proofs.diagonal_zero.html https://laxarchive.org/lax-489179/Lax489179Proofs.distance_unique.html https://laxarchive.org/lax-489179/Lax489179Proofs.encode_int_injective.html https://laxarchive.org/lax-489179/Lax489179Proofs.encode_option_injective.html https://laxarchive.org/lax-489179/Lax489179Proofs.matrix_length.html https://laxarchive.org/lax-489179/Lax489179Proofs.not_apsp.html https://laxarchive.org/lax-489179/Lax489179Proofs.not_eth.html https://laxarchive.org/lax-489179/Lax489179Proofs.not_seth.html https://laxarchive.org/lax-489179/Lax489179Proofs.not_three_sum.html https://laxarchive.org/lax-489179/Lax489179Proofs.randomized_apsp.html https://laxarchive.org/lax-489179/Lax489179Proofs.randomized_eth.html https://laxarchive.org/lax-489179/Lax489179Proofs.randomized_seth.html https://laxarchive.org/lax-489179/Lax489179Proofs.randomized_three_sum.html https://laxarchive.org/lax-489179/Lax489179Proofs.sat_exponent_mono.html https://laxarchive.org/lax-489179/Lax489179Proofs.sat_randomized.html https://laxarchive.org/lax-489179/Lax489179Proofs.sat_width_mono.html https://laxarchive.org/lax-489179/Lax489179Proofs.three_entries.html https://laxarchive.org/lax-489179/Lax489179Proofs.turing_exact.html https://laxarchive.org/lax-489179/Lax489179Proofs.word_exact.html https://laxarchive.org/lax-489179/Lax489179Proofs.word_exponent_mono.html https://laxarchive.org/lax-489179/Lax489179Proofs.word_randomized.html https://laxarchive.org/lax-49/ https://laxarchive.org/lax-49/Lax49.FunctionalEquivalence.html https://laxarchive.org/lax-49/Lax49.GraphParameters.html https://laxarchive.org/lax-49/Lax49.MixedMinorNumber.html https://laxarchive.org/lax-49/Lax49.MixedMinorNumberFromTwinWidth.html https://laxarchive.org/lax-49/Lax49.TwinWidthFromMixedMinorNumber.html https://laxarchive.org/lax-49/Lax49Proofs.Main.twin_width_functionally_equivalent_mixed_minor_number.html https://laxarchive.org/lax-49/Lax49Proofs.MixedMinorNumberFromTwinWidth.exists_mixedMinorNumber_bound_of_twinWidth.html https://laxarchive.org/lax-49/Lax49Proofs.TwinWidthFromMixedMinorNumber.exists_twinWidth_bound_of_mixedMinorNumber.html https://laxarchive.org/lax-5/ https://laxarchive.org/lax-5/Lax5.AdlerAdler.html https://laxarchive.org/lax-5/Lax5.AlmostLinearNC.html https://laxarchive.org/lax-5/Lax5.GraphClasses.html https://laxarchive.org/lax-5/Lax5.GraphTransductions.html https://laxarchive.org/lax-5/Lax5.MonadicDependence.html https://laxarchive.org/lax-5/Lax5.Transductions.html https://laxarchive.org/lax-5/Lax5.WeaklySparseDependent.html https://laxarchive.org/lax-5/Lax5Proofs.AdlerAdler.monadicallyDependent_of_nowhereDense.html https://laxarchive.org/lax-5/Lax5Proofs.Corollary6a.nowhereDense_of_weaklySparse_of_monadicallyDependent.html https://laxarchive.org/lax-5/Lax5Proofs.Theorem2.hasAlmostLinearNC_of_monadicallyDependent.html https://laxarchive.org/lax-503819/ https://laxarchive.org/lax-503819/Lax503819.Automata.html https://laxarchive.org/lax-503819/Lax503819.Mortality.html https://laxarchive.org/lax-503819/Lax503819.PositiveGames.html https://laxarchive.org/lax-503819/Lax503819.PositiveLogic.html https://laxarchive.org/lax-503819/Lax503819.Reduction.html https://laxarchive.org/lax-503819/Lax503819.Undecidability.html https://laxarchive.org/lax-503819/Lax503819.Words.html https://laxarchive.org/lax-503819/Lax503819Proofs.ComputableReduction.mortality_reduces.html https://laxarchive.org/lax-503819/Lax503819Proofs.Definability.bounded_game_characterization.html https://laxarchive.org/lax-503819/Lax503819Proofs.Games.game_formula_correspondence.html https://laxarchive.org/lax-503819/Lax503819Proofs.Mortality.mortality_undecidable.html https://laxarchive.org/lax-503819/Lax503819Proofs.Undecidability.positive_definability_undecidable.html https://laxarchive.org/lax-51/ https://laxarchive.org/lax-51/Lax51.BinaryWordEncoding.html https://laxarchive.org/lax-51/Lax51.RamPolytime.html https://laxarchive.org/lax-51/Lax51.RamToTuringGenericTime.html https://laxarchive.org/lax-51/Lax51.TuringPolytime.html https://laxarchive.org/lax-51/Lax51.TuringRamEquivalence.html https://laxarchive.org/lax-51/Lax51.TuringRamPolytimeEquivalence.html https://laxarchive.org/lax-51/Lax51.TuringToRamGenericTime.html https://laxarchive.org/lax-51/Lax51Proofs.GenericTimeSimulation.ramInTime_to_turingInPolynomialOverhead.html https://laxarchive.org/lax-51/Lax51Proofs.GenericTimeSimulation.turingWithInputTime_to_ramInPolynomialOverhead.html https://laxarchive.org/lax-51/Lax51Proofs.TuringRamEquivalence.ramComputable_iff_computable.html https://laxarchive.org/lax-51/Lax51Proofs.TuringRamPolytimeEquivalence.ramPolytime_iff_turingPolytime.html https://laxarchive.org/lax-52/ https://laxarchive.org/lax-52/Lax52.MSOAutomataEquivalence.html https://laxarchive.org/lax-52/Lax52.MSOSemantics.html https://laxarchive.org/lax-52/Lax52.MSOSyntax.html https://laxarchive.org/lax-52/Lax52.MSOToNFA.html https://laxarchive.org/lax-52/Lax52.NFARecognizable.html https://laxarchive.org/lax-52/Lax52.NFAToMSO.html https://laxarchive.org/lax-52/Lax52.WordStructure.html https://laxarchive.org/lax-52/Lax52Proofs.existsUnique_wordStructure_proof.html https://laxarchive.org/lax-52/Lax52Proofs.mso_definable_is_nfaRecognizable_proof.html https://laxarchive.org/lax-52/Lax52Proofs.nfaRecognizable_iff_msoDefinable_proof.html https://laxarchive.org/lax-52/Lax52Proofs.nfa_definable_by_mso_proof.html https://laxarchive.org/lax-53/ https://laxarchive.org/lax-53/Lax53.AutomatonLinearTime.html https://laxarchive.org/lax-53/Lax53.Determinization.html https://laxarchive.org/lax-53/Lax53.MSOLinearTime.html https://laxarchive.org/lax-53/Lax53.MSOTreeAutomataEquivalence.html https://laxarchive.org/lax-53/Lax53.RankedTree.html https://laxarchive.org/lax-53/Lax53.StructuralRepresentations.html https://laxarchive.org/lax-53/Lax53.TreeAutomaton.html https://laxarchive.org/lax-53/Lax53.TreeModelCheckingEncoding.html https://laxarchive.org/lax-53/Lax53.TreeStructure.html https://laxarchive.org/lax-53/Lax53.ValueTranslations.html https://laxarchive.org/lax-53/Lax53Proofs.AutomatonLinearTime.exists_fixed_automatonAcceptance_proof.html https://laxarchive.org/lax-53/Lax53Proofs.AutomatonLinearTime.exists_uniform_automatonAcceptance_proof.html https://laxarchive.org/lax-53/Lax53Proofs.Determinization.exists_deterministic_equivalent_proof.html https://laxarchive.org/lax-53/Lax53Proofs.FixedSentenceModelChecking.exists_fixed_sentence_modelChecking_proof.html https://laxarchive.org/lax-53/Lax53Proofs.IntrinsicUniformModelChecking.exists_uniform_msoModelChecking_proof.html https://laxarchive.org/lax-53/Lax53Proofs.MSOLinearTime.modelCheckingInput_length_proof.html https://laxarchive.org/lax-53/Lax53Proofs.MSOToTreeAutomata.mso_definable_is_recognizable_proof.html https://laxarchive.org/lax-53/Lax53Proofs.MSOTreeAutomataEquivalence.recognizable_iff_msoDefinable_proof.html https://laxarchive.org/lax-53/Lax53Proofs.StructuralRepresentations.formula_structural_proof.html https://laxarchive.org/lax-53/Lax53Proofs.StructuralRepresentations.sentence_lawful_proof.html https://laxarchive.org/lax-53/Lax53Proofs.StructuralRepresentations.tree_lawful_proof.html https://laxarchive.org/lax-53/Lax53Proofs.StructuralRepresentations.tree_structural_proof.html https://laxarchive.org/lax-53/Lax53Proofs.TreeAutomataToMSO.automaton_definable_by_mso_proof.html https://laxarchive.org/lax-53/Lax53Proofs.TreeModelCheckingEncoding.automatonInput_length_proof.html https://laxarchive.org/lax-53/Lax53Proofs.ValueTranslations.language_equivalence_proof.html https://laxarchive.org/lax-54/ https://laxarchive.org/lax-54/Lax54.AveragingLemma.html https://laxarchive.org/lax-54/Lax54.BipartiteCombLemma.html https://laxarchive.org/lax-54/Lax54.CriticalCombInput.html https://laxarchive.org/lax-54/Lax54.ErdosHajnalC5.html https://laxarchive.org/lax-54/Lax54.GraphDefinitions.html https://laxarchive.org/lax-54/Lax54.KeyCombLemma.html https://laxarchive.org/lax-54/Lax54.MaximumDegreeReduction.html https://laxarchive.org/lax-54/Lax54.RodlTheorem.html https://laxarchive.org/lax-54/Lax54Proofs.CriticalCombInput.exists_critical_comb_parameters.html https://laxarchive.org/lax-54/Lax54Proofs.RodlTheorem.rodl_theorem.html https://laxarchive.org/lax-54/Lax54Proofs.bipartite_comb_lemma.html https://laxarchive.org/lax-54/Lax54Proofs.erdos_hajnal_C5.html https://laxarchive.org/lax-54/Lax54Proofs.key_comb_lemma.html https://laxarchive.org/lax-54/Lax54Proofs.maximum_degree_reduction.html https://laxarchive.org/lax-54/Lax54Proofs.sparse_graph_thinning.html https://laxarchive.org/lax-54/paper-pdf.html https://laxarchive.org/lax-54/paper.html https://laxarchive.org/lax-56/ https://laxarchive.org/lax-56/Lax56.ConvexLayers.html https://laxarchive.org/lax-56/Lax56.Geometry.html https://laxarchive.org/lax-56/Lax56.HujterKisfaludiBak.html https://laxarchive.org/lax-56/Lax56.MainTheorem.html https://laxarchive.org/lax-56/Lax56.ValtrFourLayer.html https://laxarchive.org/lax-56/Lax56.VertexRemovalStability.html https://laxarchive.org/lax-56/Lax56Proofs.EmptyHexagon.exists_emptyConvexHexagon.html https://laxarchive.org/lax-56/Lax56Proofs.MainTheorem.large_point_set_four_collinear_or_visible_six.html https://laxarchive.org/lax-56/Lax56Proofs.ValtrFourLayer.exists_emptyHexagon_of_four_layers.html https://laxarchive.org/lax-56/Lax56Proofs.VertexRemovalStability.exists_fiveColorable_delete.html https://laxarchive.org/lax-560851/ https://laxarchive.org/lax-560851/Lax560851.BitPolynomialTime.html https://laxarchive.org/lax-560851/Lax560851.CertifiedDerivation.html https://laxarchive.org/lax-560851/Lax560851.CertifiedDerivationElab.html https://laxarchive.org/lax-560851/Lax560851.FormulaExample.html https://laxarchive.org/lax-560851/Lax560851.RamComplexity.html https://laxarchive.org/lax-560851/Lax560851.RamComplexityElab.html https://laxarchive.org/lax-560851/Lax560851.RamComplexityExample.html https://laxarchive.org/lax-560851/Lax560851.RamPolynomialComparison.html https://laxarchive.org/lax-560851/Lax560851.StructuralCombinators.html https://laxarchive.org/lax-560851/Lax560851.StructuralDerivation.html https://laxarchive.org/lax-560851/Lax560851.StructuralPresentation.html https://laxarchive.org/lax-560851/Lax560851.WordArena.html https://laxarchive.org/lax-560851/Lax560851Proofs.RamExponentialExample.exponentialLength_bitPolynomialTime.html https://laxarchive.org/lax-560851/Lax560851Proofs.RamPolynomialComparison.bitPolynomialTime_iff_ramPolytime.html https://laxarchive.org/lax-560851/Lax560851Proofs.RamPolynomialSeparation.exponentialLength_not_polynomialTime.html https://laxarchive.org/lax-560851/Lax560851Proofs.StructuralCombinators.constructor_eq_iff_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.StructuralCombinators.structural_combinator_size_laws.html https://laxarchive.org/lax-560851/Lax560851Proofs.StructuralCombinators.structural_combinators_lawful.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encodeRaw_dense_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encodeRaw_fits_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encodeRaw_memoryWords_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encodeRaw_represents_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encodeRaw_toInput_length_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encodeRaw_totalWords_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encodeRaw_wellFormed_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encode_fits_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encode_memoryWords_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encode_represents_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encode_toInput_length_proof.html https://laxarchive.org/lax-560851/Lax560851Proofs.WordArena.encode_totalWords_proof.html https://laxarchive.org/lax-57/ https://laxarchive.org/lax-57/Lax57.AnticomponentBlockade.html https://laxarchive.org/lax-57/Lax57.BlockadeThinning.html https://laxarchive.org/lax-57/Lax57.ErdosHajnalP5.html https://laxarchive.org/lax-57/Lax57.GraphDefinitions.html https://laxarchive.org/lax-57/Lax57.HouseDichotomy.html https://laxarchive.org/lax-57/Lax57.PreparedHouseBlockade.html https://laxarchive.org/lax-57/Lax57.SemisparseBlockade.html https://laxarchive.org/lax-57/Lax57.SparseHouseAcceleration.html https://laxarchive.org/lax-57/Lax57.SparseHouseTools.html https://laxarchive.org/lax-57/Lax57.SparseHouseTrichotomy.html https://laxarchive.org/lax-57/Lax57Proofs.anticomponent_or_complete_blockade.html https://laxarchive.org/lax-57/Lax57Proofs.erdos_hajnal_P5.html https://laxarchive.org/lax-57/Lax57Proofs.house_dichotomy.html https://laxarchive.org/lax-57/Lax57Proofs.prepared_house_blockade.html https://laxarchive.org/lax-57/Lax57Proofs.semisparse_blockade_thinning.html https://laxarchive.org/lax-57/Lax57Proofs.semisparse_house_blockade.html https://laxarchive.org/lax-57/Lax57Proofs.sparse_P5_anticomplete_pair.html https://laxarchive.org/lax-57/Lax57Proofs.sparse_house_acceleration.html https://laxarchive.org/lax-57/Lax57Proofs.sparse_house_trichotomy.html https://laxarchive.org/lax-57/paper-pdf.html https://laxarchive.org/lax-57/paper.html https://laxarchive.org/lax-58/ https://laxarchive.org/lax-58/Lax58.BitPolynomialTime.html https://laxarchive.org/lax-58/Lax58.CertifiedDerivation.html https://laxarchive.org/lax-58/Lax58.CertifiedDerivationElab.html https://laxarchive.org/lax-58/Lax58.FormulaExample.html https://laxarchive.org/lax-58/Lax58.RamComplexity.html https://laxarchive.org/lax-58/Lax58.RamComplexityElab.html https://laxarchive.org/lax-58/Lax58.RamComplexityExample.html https://laxarchive.org/lax-58/Lax58.RamPolynomialComparison.html https://laxarchive.org/lax-58/Lax58.StructuralCombinators.html https://laxarchive.org/lax-58/Lax58.StructuralDerivation.html https://laxarchive.org/lax-58/Lax58.StructuralPresentation.html https://laxarchive.org/lax-58/Lax58.WordArena.html https://laxarchive.org/lax-58/Lax58Proofs.RamExponentialExample.exponentialLength_bitPolynomialTime.html https://laxarchive.org/lax-58/Lax58Proofs.RamPolynomialComparison.bitPolynomialTime_iff_ramPolytime.html https://laxarchive.org/lax-58/Lax58Proofs.RamPolynomialSeparation.exponentialLength_not_polynomialTime.html https://laxarchive.org/lax-58/Lax58Proofs.StructuralCombinators.constructor_eq_iff_proof.html https://laxarchive.org/lax-58/Lax58Proofs.StructuralCombinators.structural_combinator_size_laws.html https://laxarchive.org/lax-58/Lax58Proofs.StructuralCombinators.structural_combinators_lawful.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encodeRaw_dense_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encodeRaw_fits_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encodeRaw_memoryWords_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encodeRaw_represents_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encodeRaw_toInput_length_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encodeRaw_totalWords_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encodeRaw_wellFormed_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encode_fits_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encode_memoryWords_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encode_represents_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encode_toInput_length_proof.html https://laxarchive.org/lax-58/Lax58Proofs.WordArena.encode_totalWords_proof.html https://laxarchive.org/lax-59/ https://laxarchive.org/lax-59/Lax59.InterestingNumbers.html https://laxarchive.org/lax-59/Lax59.Nagura.html https://laxarchive.org/lax-59/Lax59Proofs.InterestingNumbers.interesting_iff.html https://laxarchive.org/lax-59/Lax59Proofs.nagura_bound.html https://laxarchive.org/lax-62/ https://laxarchive.org/lax-623795/ https://laxarchive.org/lax-623795/Lax623795.TemporalExploration.html https://laxarchive.org/lax-623795/Lax623795.TemporalGraphs.html https://laxarchive.org/lax-623795/Lax623795Proofs.reachableVertexSet_ssubset_next.html https://laxarchive.org/lax-67/ https://laxarchive.org/lax-67/Lax67.Ram.html https://laxarchive.org/lax-67/Lax67.RamComputes.html https://laxarchive.org/lax-678846/ https://laxarchive.org/lax-678846/Lax678846.ExistentialSecondOrder.html https://laxarchive.org/lax-678846/Lax678846.Fagin.html https://laxarchive.org/lax-678846/Lax678846.FiniteStructures.html https://laxarchive.org/lax-678846/Lax678846.NondeterministicPolynomialTime.html https://laxarchive.org/lax-678846/Lax678846Proofs.Fagin.capturesNP.html https://laxarchive.org/lax-678846/Lax678846Proofs.Fagin.definableInNP.html https://laxarchive.org/lax-678846/Lax678846Proofs.Fagin.npDefinable.html https://laxarchive.org/lax-678846/Lax678846Proofs.Isomorphism.satisfiesInvariant.html https://laxarchive.org/lax-68/ https://laxarchive.org/lax-68/Lax68.AcyclicMinors.html https://laxarchive.org/lax-68/Lax68.GraphMinors.html https://laxarchive.org/lax-68/Lax68.GraphTopologicalMinors.html https://laxarchive.org/lax-68/Lax68.GridPlanar.html https://laxarchive.org/lax-68/Lax68.GridsAndWalls.html https://laxarchive.org/lax-68/Lax68.KuratowskiPlanarity.html https://laxarchive.org/lax-68/Lax68.LadderGrid.html https://laxarchive.org/lax-68/Lax68.LadderPlanar.html https://laxarchive.org/lax-68/Lax68.Ladders.html https://laxarchive.org/lax-68/Lax68.MaximalOuterplanar.html https://laxarchive.org/lax-68/Lax68.MaximalOuterplanarOuterplanar.html https://laxarchive.org/lax-68/Lax68.MaximalOuterplanarPlanar.html https://laxarchive.org/lax-68/Lax68.Outerplanar.html https://laxarchive.org/lax-68/Lax68.OuterplanarExcludedMinors.html https://laxarchive.org/lax-68/Lax68.OuterplanarPlanar.html https://laxarchive.org/lax-68/Lax68.PathOuterplanar.html https://laxarchive.org/lax-68/Lax68.PathPlanar.html https://laxarchive.org/lax-68/Lax68.PathTree.html https://laxarchive.org/lax-68/Lax68.Paths.html https://laxarchive.org/lax-68/Lax68.Planar.html https://laxarchive.org/lax-68/Lax68.PlanarExcludedMinors.html https://laxarchive.org/lax-68/Lax68.SeriesParallel.html https://laxarchive.org/lax-68/Lax68.SeriesParallelPlanar.html https://laxarchive.org/lax-68/Lax68.StarOuterplanar.html https://laxarchive.org/lax-68/Lax68.StarPlanar.html https://laxarchive.org/lax-68/Lax68.StarTree.html https://laxarchive.org/lax-68/Lax68.Stars.html https://laxarchive.org/lax-68/Lax68.StraightLineDrawings.html https://laxarchive.org/lax-68/Lax68.TreeOuterplanar.html https://laxarchive.org/lax-68/Lax68.TreePlanar.html https://laxarchive.org/lax-68/Lax68.Trees.html https://laxarchive.org/lax-68/Lax68.TriangleMaximalOuterplanar.html https://laxarchive.org/lax-68/Lax68.TriangleOuterplanar.html https://laxarchive.org/lax-68/Lax68.TrianglePlanar.html https://laxarchive.org/lax-68/Lax68.Triangles.html https://laxarchive.org/lax-68/Lax68.TriangulationPlanar.html https://laxarchive.org/lax-68/Lax68.Triangulations.html https://laxarchive.org/lax-68/Lax68.WallPlanar.html https://laxarchive.org/lax-68/Lax68Proofs.acyclic_minor.html https://laxarchive.org/lax-68/Lax68Proofs.grid_planar.html https://laxarchive.org/lax-68/Lax68Proofs.ladder_grid.html https://laxarchive.org/lax-68/Lax68Proofs.ladder_planar.html https://laxarchive.org/lax-68/Lax68Proofs.maximalOuterplanar_outerplanar.html https://laxarchive.org/lax-68/Lax68Proofs.maximalOuterplanar_planar.html https://laxarchive.org/lax-68/Lax68Proofs.outerplanar_planar.html https://laxarchive.org/lax-68/Lax68Proofs.path_outerplanar.html https://laxarchive.org/lax-68/Lax68Proofs.path_planar.html https://laxarchive.org/lax-68/Lax68Proofs.path_tree.html https://laxarchive.org/lax-68/Lax68Proofs.star_outerplanar.html https://laxarchive.org/lax-68/Lax68Proofs.star_planar.html https://laxarchive.org/lax-68/Lax68Proofs.star_tree.html https://laxarchive.org/lax-68/Lax68Proofs.tree_outerplanar.html https://laxarchive.org/lax-68/Lax68Proofs.tree_planar.html https://laxarchive.org/lax-68/Lax68Proofs.triangle_maximalOuterplanar.html https://laxarchive.org/lax-68/Lax68Proofs.triangle_outerplanar.html https://laxarchive.org/lax-68/Lax68Proofs.triangle_planar.html https://laxarchive.org/lax-68/Lax68Proofs.triangulationOf_planar.html https://laxarchive.org/lax-68/Lax68Proofs.wall_planar.html https://laxarchive.org/lax-683916/ https://laxarchive.org/lax-683916/Lax683916.DigraphRepresentation.html https://laxarchive.org/lax-683916/Lax683916.HypergraphRepresentation.html https://laxarchive.org/lax-683916/Lax683916.MultigraphIsomorphism.html https://laxarchive.org/lax-683916/Lax683916.MultigraphRepresentation.html https://laxarchive.org/lax-683916/Lax683916.NeighborhoodSetSystemRepresentation.html https://laxarchive.org/lax-683916/Lax683916.NeighborhoodSetSystems.html https://laxarchive.org/lax-683916/Lax683916.SetSystemRepresentation.html https://laxarchive.org/lax-683916/Lax683916.SimpleGraphMultigraphRepresentation.html https://laxarchive.org/lax-683916/Lax683916.SpanningTwoUniformHypergraphs.html https://laxarchive.org/lax-683916/Lax683916.SymmetricLooplessDigraphs.html https://laxarchive.org/lax-683916/Lax683916.TwoUniformSetSystems.html https://laxarchive.org/lax-683916/Lax683916Proofs.DigraphRepresentation.simpleGraphEquiv.html https://laxarchive.org/lax-683916/Lax683916Proofs.HypergraphRepresentation.simpleGraphEquiv.html https://laxarchive.org/lax-683916/Lax683916Proofs.MultigraphRepresentation.exists_simpleGraph_representation.html https://laxarchive.org/lax-683916/Lax683916Proofs.NeighborhoodSetSystemRepresentation.simpleGraphEquiv.html https://laxarchive.org/lax-683916/Lax683916Proofs.SetSystemRepresentation.simpleGraphEquiv.html https://laxarchive.org/lax-683916/Lax683916Proofs.SimpleGraphMultigraphRepresentation.exists_multigraph_representation.html https://laxarchive.org/lax-689614/ https://laxarchive.org/lax-689614/Lax689614.ArcKayles.html https://laxarchive.org/lax-689614/Lax689614.Biclique.html https://laxarchive.org/lax-689614/Lax689614.Completeness.html https://laxarchive.org/lax-689614/Lax689614.Construction.html https://laxarchive.org/lax-689614/Lax689614.Encoding.html https://laxarchive.org/lax-689614/Lax689614.Grundy.html https://laxarchive.org/lax-689614/Lax689614.GrundyProperties.html https://laxarchive.org/lax-689614/Lax689614.PSPACE.html https://laxarchive.org/lax-689614/Lax689614.Passes.html https://laxarchive.org/lax-689614/Lax689614.PositiveCNF.html https://laxarchive.org/lax-689614/Lax689614.PositiveCNFHardness.html https://laxarchive.org/lax-689614/Lax689614.Reduction.html https://laxarchive.org/lax-689614/Lax689614.RegularPlay.html https://laxarchive.org/lax-689614/Lax689614.Sizes.html https://laxarchive.org/lax-689614/Lax689614Proofs.arcKayles_membership.html https://laxarchive.org/lax-689614/Lax689614Proofs.arcKayles_pspace_complete.html https://laxarchive.org/lax-689614/Lax689614Proofs.biclique_value.html https://laxarchive.org/lax-689614/Lax689614Proofs.construction_size.html https://laxarchive.org/lax-689614/Lax689614Proofs.deviation_loses.html https://laxarchive.org/lax-689614/Lax689614Proofs.disjoint_union.html https://laxarchive.org/lax-689614/Lax689614Proofs.exceptional_parity.html https://laxarchive.org/lax-689614/Lax689614Proofs.false_strategy.html https://laxarchive.org/lax-689614/Lax689614Proofs.formula_length.html https://laxarchive.org/lax-689614/Lax689614Proofs.graph_length.html https://laxarchive.org/lax-689614/Lax689614Proofs.losing_iff_zero.html https://laxarchive.org/lax-689614/Lax689614Proofs.outcome_equivalent.html https://laxarchive.org/lax-689614/Lax689614Proofs.polynomial_reduction.html https://laxarchive.org/lax-689614/Lax689614Proofs.positiveCNF_hard.html https://laxarchive.org/lax-689614/Lax689614Proofs.smaller_reachable.html https://laxarchive.org/lax-689614/Lax689614Proofs.true_strategy.html https://laxarchive.org/lax-689614/Lax689614Proofs.value_not_reachable.html https://laxarchive.org/lax-709149/ https://laxarchive.org/lax-709149/Lax709149.RegularOfTerm.html https://laxarchive.org/lax-709149/Lax709149.RegularTerms.html https://laxarchive.org/lax-709149/Lax709149.RegularUnderRepresentation.html https://laxarchive.org/lax-709149/Lax709149.Types.html https://laxarchive.org/lax-709149/Lax709149Proofs.Results.isRegularUnderRepr_of_isRegularTermFun.html https://laxarchive.org/lax-710763/ https://laxarchive.org/lax-710763/Lax710763.AdlerAdler.html https://laxarchive.org/lax-710763/Lax710763.AlmostLinearNC.html https://laxarchive.org/lax-710763/Lax710763.GraphClasses.html https://laxarchive.org/lax-710763/Lax710763.GraphTransductions.html https://laxarchive.org/lax-710763/Lax710763.MonadicDependence.html https://laxarchive.org/lax-710763/Lax710763.Transductions.html https://laxarchive.org/lax-710763/Lax710763.WeaklySparseDependent.html https://laxarchive.org/lax-710763/Lax710763Proofs.AdlerAdler.monadicallyDependent_of_nowhereDense.html https://laxarchive.org/lax-710763/Lax710763Proofs.Corollary6a.nowhereDense_of_weaklySparse_of_monadicallyDependent.html https://laxarchive.org/lax-710763/Lax710763Proofs.Theorem2.hasAlmostLinearNC_of_monadicallyDependent.html https://laxarchive.org/lax-712553/ https://laxarchive.org/lax-712553/Lax712553.Involution.html https://laxarchive.org/lax-712553/Lax712553.QuadraticTwist.html https://laxarchive.org/lax-712553/Lax712553.TunnellParity.html https://laxarchive.org/lax-712553/Lax712553Proofs.Involution.even_card_of_fixedPointFree_involution.html https://laxarchive.org/lax-712553/Lax712553Proofs.QuadraticTwist.a_p_twist.html https://laxarchive.org/lax-712553/Lax712553Proofs.TunnellParity.even_card_solutions.html https://laxarchive.org/lax-733996/ https://laxarchive.org/lax-733996/Lax733996.BoundedConfigurations.html https://laxarchive.org/lax-733996/Lax733996.Classification.html https://laxarchive.org/lax-733996/Lax733996.ComplementClosure.html https://laxarchive.org/lax-733996/Lax733996.ConfigurationCounting.html https://laxarchive.org/lax-733996/Lax733996.ConfigurationGraph.html https://laxarchive.org/lax-733996/Lax733996.CountMachine.html https://laxarchive.org/lax-733996/Lax733996.Counting.html https://laxarchive.org/lax-733996/Lax733996.CountingStep.html https://laxarchive.org/lax-733996/Lax733996.CountingTrace.html https://laxarchive.org/lax-733996/Lax733996.ExactCensus.html https://laxarchive.org/lax-733996/Lax733996.NLcoNL.html https://laxarchive.org/lax-733996/Lax733996.Nonreachability.html https://laxarchive.org/lax-733996/Lax733996.Reachability.html https://laxarchive.org/lax-733996/Lax733996.Rejection.html https://laxarchive.org/lax-733996/Lax733996.SuccessorLayer.html https://laxarchive.org/lax-733996/Lax733996Proofs.CountingProgram.counting_machine_implementation.html https://laxarchive.org/lax-733996/Lax733996Proofs.classification.html https://laxarchive.org/lax-733996/Lax733996Proofs.complement_closed.html https://laxarchive.org/lax-733996/Lax733996Proofs.counting_rejection.html https://laxarchive.org/lax-733996/Lax733996Proofs.counting_step.html https://laxarchive.org/lax-733996/Lax733996Proofs.counting_trace.html https://laxarchive.org/lax-733996/Lax733996Proofs.exact_census.html https://laxarchive.org/lax-733996/Lax733996Proofs.immerman_szelepcsenyi.html https://laxarchive.org/lax-733996/Lax733996Proofs.nonreachability.html https://laxarchive.org/lax-733996/Lax733996Proofs.successor_layer.html https://laxarchive.org/lax-733996/paper-pdf.html https://laxarchive.org/lax-733996/paper.html https://laxarchive.org/lax-751879/ https://laxarchive.org/lax-751879/Lax751879.FixedPointEvaluation.html https://laxarchive.org/lax-751879/Lax751879.FixedPointSemantics.html https://laxarchive.org/lax-751879/Lax751879.FixedPointSyntax.html https://laxarchive.org/lax-751879/Lax751879.ImmermanVardi.html https://laxarchive.org/lax-751879/Lax751879.LeastFixedPoints.html https://laxarchive.org/lax-751879/Lax751879.OrderedStructures.html https://laxarchive.org/lax-751879/Lax751879.PolynomialTime.html https://laxarchive.org/lax-751879/Lax751879.StructureEncoding.html https://laxarchive.org/lax-751879/Lax751879Proofs.FixedPointEvaluation.evaluationInP.html https://laxarchive.org/lax-751879/Lax751879Proofs.ImmermanVardi.capturesPtime.html https://laxarchive.org/lax-751879/Lax751879Proofs.ImmermanVardi.ptimeDefinable.html https://laxarchive.org/lax-751879/Lax751879Proofs.LeastFixedPoints.finiteConvergence.html https://laxarchive.org/lax-751879/Lax751879Proofs.LeastFixedPoints.fixedPoint.html https://laxarchive.org/lax-751879/Lax751879Proofs.LeastFixedPoints.least.html https://laxarchive.org/lax-751879/Lax751879Proofs.Positivity.positiveBodyMonotone.html https://laxarchive.org/lax-751879/Lax751879Proofs.StructureEncoding.encodeInjective.html https://laxarchive.org/lax-751879/Lax751879Proofs.StructureEncoding.encodeLength.html https://laxarchive.org/lax-759944/ https://laxarchive.org/lax-759944/Lax759944.BinaryWordEncoding.html https://laxarchive.org/lax-759944/Lax759944.RamPolytime.html https://laxarchive.org/lax-759944/Lax759944.RamToTuringGenericTime.html https://laxarchive.org/lax-759944/Lax759944.TuringPolytime.html https://laxarchive.org/lax-759944/Lax759944.TuringRamEquivalence.html https://laxarchive.org/lax-759944/Lax759944.TuringRamPolytimeEquivalence.html https://laxarchive.org/lax-759944/Lax759944.TuringToRamGenericTime.html https://laxarchive.org/lax-759944/Lax759944Proofs.GenericTimeSimulation.ramInTime_to_turingInPolynomialOverhead.html https://laxarchive.org/lax-759944/Lax759944Proofs.GenericTimeSimulation.turingWithInputTime_to_ramInPolynomialOverhead.html https://laxarchive.org/lax-759944/Lax759944Proofs.TuringRamEquivalence.ramComputable_iff_computable.html https://laxarchive.org/lax-759944/Lax759944Proofs.TuringRamPolytimeEquivalence.ramPolytime_iff_turingPolytime.html https://laxarchive.org/lax-762056/ https://laxarchive.org/lax-762056/Lax762056.AsteroidalCycles.html https://laxarchive.org/lax-762056/Lax762056.ColumnGraph.html https://laxarchive.org/lax-762056/Lax762056.ColumnGridExclusion.html https://laxarchive.org/lax-762056/Lax762056.CycleObstruction.html https://laxarchive.org/lax-762056/Lax762056.GraphEncoding.html https://laxarchive.org/lax-762056/Lax762056.GraphProblems.html https://laxarchive.org/lax-762056/Lax762056.Grid.html https://laxarchive.org/lax-762056/Lax762056.GridExclusion.html https://laxarchive.org/lax-762056/Lax762056.IndependenceIdentity.html https://laxarchive.org/lax-762056/Lax762056.IndependentSetHardness.html https://laxarchive.org/lax-762056/Lax762056.InducedMinors.html https://laxarchive.org/lax-762056/Lax762056.MaxCut.html https://laxarchive.org/lax-762056/Lax762056.MaxCutHardness.html https://laxarchive.org/lax-762056/Lax762056.Reduction.html https://laxarchive.org/lax-762056/Lax762056.ReductionTime.html https://laxarchive.org/lax-762056/Lax762056Proofs.GridWitness.grid_five_has_asteroidalCycles.html https://laxarchive.org/lax-762056/Lax762056Proofs.Obstruction.asteroidalCycles_obstruction.html https://laxarchive.org/lax-762056/Lax762056Proofs.columnGraph_excludes_inducedGrid.html https://laxarchive.org/lax-762056/Lax762056Proofs.independence_eq_maxCut_offset.html https://laxarchive.org/lax-762056/Lax762056Proofs.independentSet_inducedGrid_hardness.html https://laxarchive.org/lax-762056/Lax762056Proofs.maxCut_hardness.html https://laxarchive.org/lax-762056/Lax762056Proofs.reduction_excludes_inducedGrid.html https://laxarchive.org/lax-762056/Lax762056Proofs.reduction_polynomial_time.html https://laxarchive.org/lax-762056/paper-pdf.html https://laxarchive.org/lax-762056/paper.html https://laxarchive.org/lax-765601/ https://laxarchive.org/lax-765601/Lax765601.AperiodicMealy.html https://laxarchive.org/lax-765601/Lax765601.AperiodicOfFlipFlops.html https://laxarchive.org/lax-765601/Lax765601.AperiodicPumping.html https://laxarchive.org/lax-765601/Lax765601.Aperiodicity.html https://laxarchive.org/lax-765601/Lax765601.AperiodicityMinimalMachine.html https://laxarchive.org/lax-765601/Lax765601.CompositionClosure.html https://laxarchive.org/lax-765601/Lax765601.Continuity.html https://laxarchive.org/lax-765601/Lax765601.Derivatives.html https://laxarchive.org/lax-765601/Lax765601.ElementaryProperties.html https://laxarchive.org/lax-765601/Lax765601.FlipFlopsOfAperiodic.html https://laxarchive.org/lax-765601/Lax765601.KrohnRhodes.html https://laxarchive.org/lax-765601/Lax765601.MapLifting.html https://laxarchive.org/lax-765601/Lax765601.MapLiftingDecomposition.html https://laxarchive.org/lax-765601/Lax765601.MealyComposition.html https://laxarchive.org/lax-765601/Lax765601.MealyContinuity.html https://laxarchive.org/lax-765601/Lax765601.MealyDerivatives.html https://laxarchive.org/lax-765601/Lax765601.MealyEquivalenceBound.html https://laxarchive.org/lax-765601/Lax765601.MealyMachine.html https://laxarchive.org/lax-765601/Lax765601.PrimeMealyMachines.html https://laxarchive.org/lax-765601/Lax765601.ReversibleComposition.html https://laxarchive.org/lax-765601/Lax765601.StateTransformationDecomposition.html https://laxarchive.org/lax-765601/Lax765601.StateTransformations.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.aperiodic_iff_compClosure_flipFlop.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.aperiodic_iff_pumping.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.aperiodic_iff_transAperiodic.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.aperiodic_of_compClosure_flipFlop.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.compClosure_flipFlop_of_aperiodic.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.compClosure_mapLift.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.compClosure_primeMealy_of_isMealy.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.compClosure_stateTransTransducer.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.continuous_of_isMealy.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.eval_eq_iff_short.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.isMealy_comp.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.isMealy_iff_derivatives.html https://laxarchive.org/lax-765601/Lax765601Proofs.Results.isReversibleMealy_comp.html https://laxarchive.org/lax-771644/ https://laxarchive.org/lax-771644/Lax771644.AVeryLongConceptNameForTestingLabelWrappingInTheProofNetworkFigure.html https://laxarchive.org/lax-771644/Lax771644.Chain01.html https://laxarchive.org/lax-771644/Lax771644.Chain02.html https://laxarchive.org/lax-771644/Lax771644.Chain03.html https://laxarchive.org/lax-771644/Lax771644.Chain04.html https://laxarchive.org/lax-771644/Lax771644.Chain05.html https://laxarchive.org/lax-771644/Lax771644.Chain06.html https://laxarchive.org/lax-771644/Lax771644.Chain07.html https://laxarchive.org/lax-771644/Lax771644.Chain08.html https://laxarchive.org/lax-771644/Lax771644.Chain09.html https://laxarchive.org/lax-771644/Lax771644.CycleAlpha.html https://laxarchive.org/lax-771644/Lax771644.CycleBeta.html https://laxarchive.org/lax-771644/Lax771644.ExternalPrimes.html https://laxarchive.org/lax-771644/Lax771644.Foundations.html https://laxarchive.org/lax-771644/Lax771644.IsolatedIsland.html https://laxarchive.org/lax-771644/Lax771644.ManyForeignAssumptions.html https://laxarchive.org/lax-771644/Lax771644.MixedSiblingAndForeign.html https://laxarchive.org/lax-771644/Lax771644.OpenLeaf.html https://laxarchive.org/lax-771644/Lax771644.OpenMiddle.html https://laxarchive.org/lax-771644/Lax771644.OpenRoot.html https://laxarchive.org/lax-771644/Lax771644.SelfReferentialProof.html https://laxarchive.org/lax-771644/Lax771644.SiblingChain.html https://laxarchive.org/lax-771644/Lax771644.SiblingConclusionLeft.html https://laxarchive.org/lax-771644/Lax771644.SiblingConclusionMiddle.html https://laxarchive.org/lax-771644/Lax771644.SiblingConclusionRight.html https://laxarchive.org/lax-771644/Lax771644.ThreeProofsOneStatement.html https://laxarchive.org/lax-771644/Lax771644.TwoProofsOneStatement.html https://laxarchive.org/lax-771644/Lax771644.UnicodeNames.html https://laxarchive.org/lax-771644/Lax771644.WholeConceptAssumption.html https://laxarchive.org/lax-771644/Lax771644.WideDockRow.html https://laxarchive.org/lax-771644/Lax771644Proofs.AVeryLongConceptNameForTestingLabelWrappingInTheProofNetworkFigure.first.html https://laxarchive.org/lax-771644/Lax771644Proofs.AVeryLongConceptNameForTestingLabelWrappingInTheProofNetworkFigure.second.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain01.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain02.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain03.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain04.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain05.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain06.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain07.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain08.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.Chain09.rung.html https://laxarchive.org/lax-771644/Lax771644Proofs.CycleAlpha.alpha.html https://laxarchive.org/lax-771644/Lax771644Proofs.CycleBeta.beta.html https://laxarchive.org/lax-771644/Lax771644Proofs.ExternalPrimes.e1_has_prime_divisor.html https://laxarchive.org/lax-771644/Lax771644Proofs.ExternalPrimes.e2_has_larger_prime.html https://laxarchive.org/lax-771644/Lax771644Proofs.ManyForeignAssumptions.descends_far.html https://laxarchive.org/lax-771644/Lax771644Proofs.MixedSiblingAndForeign.s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.MixedSiblingAndForeign.s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.OpenLeaf.leafRung.html https://laxarchive.org/lax-771644/Lax771644Proofs.OpenMiddle.middleRung.html https://laxarchive.org/lax-771644/Lax771644Proofs.SelfReferentialProof.selfRung.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingChain.s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingChain.s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingChain.s3.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionLeft.s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionLeft.s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionLeft.s3.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionMiddle.s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionMiddle.s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionMiddle.s3.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionRight.s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionRight.s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.SiblingConclusionRight.s3.html https://laxarchive.org/lax-771644/Lax771644Proofs.ThreeProofsOneStatement.s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.ThreeProofsOneStatement.s2_via_middle.html https://laxarchive.org/lax-771644/Lax771644Proofs.ThreeProofsOneStatement.s2_via_sibling.html https://laxarchive.org/lax-771644/Lax771644Proofs.ThreeProofsOneStatement.s2_via_sibling_chain.html https://laxarchive.org/lax-771644/Lax771644Proofs.TwoProofsOneStatement.s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.TwoProofsOneStatement.s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.TwoProofsOneStatement.s3_via_s1.html https://laxarchive.org/lax-771644/Lax771644Proofs.TwoProofsOneStatement.s3_via_s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.UnicodeNames.epsilonDelta.html https://laxarchive.org/lax-771644/Lax771644Proofs.UnicodeNames.mu.html https://laxarchive.org/lax-771644/Lax771644Proofs.WholeConceptAssumption.bare.html https://laxarchive.org/lax-771644/Lax771644Proofs.WholeConceptAssumption.s2.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s01.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s02.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s03.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s04.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s05.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s06.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s07.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s08.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s09.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s10.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s11.html https://laxarchive.org/lax-771644/Lax771644Proofs.WideDockRow.s12.html https://laxarchive.org/lax-808846/ https://laxarchive.org/lax-808846/Lax808846.Ram.html https://laxarchive.org/lax-808846/Lax808846.RamComputes.html https://laxarchive.org/lax-842588/ https://laxarchive.org/lax-842588/Lax842588.AutomatonLinearTime.html https://laxarchive.org/lax-842588/Lax842588.Determinization.html https://laxarchive.org/lax-842588/Lax842588.MSOLinearTime.html https://laxarchive.org/lax-842588/Lax842588.MSOTreeAutomataEquivalence.html https://laxarchive.org/lax-842588/Lax842588.RankedTree.html https://laxarchive.org/lax-842588/Lax842588.StructuralRepresentations.html https://laxarchive.org/lax-842588/Lax842588.TreeAutomaton.html https://laxarchive.org/lax-842588/Lax842588.TreeModelCheckingEncoding.html https://laxarchive.org/lax-842588/Lax842588.TreeStructure.html https://laxarchive.org/lax-842588/Lax842588.ValueTranslations.html https://laxarchive.org/lax-842588/Lax842588Proofs.AutomatonLinearTime.exists_uniform_automatonAcceptance_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.Determinization.exists_deterministic_equivalent_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.IntrinsicUniformModelChecking.exists_uniform_msoModelChecking_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.MSOToTreeAutomata.mso_definable_is_recognizable_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.MSOTreeAutomataEquivalence.recognizable_iff_msoDefinable_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.StructuralRepresentations.sentence_lawful_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.StructuralRepresentations.tree_lawful_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.TreeAutomataToMSO.automaton_definable_by_mso_proof.html https://laxarchive.org/lax-842588/Lax842588Proofs.ValueTranslations.language_equivalence_proof.html https://laxarchive.org/lax-871432/ https://laxarchive.org/lax-871432/Lax871432.CategoricalProductCounts.html https://laxarchive.org/lax-871432/Lax871432.ClosureProperties.html https://laxarchive.org/lax-871432/Lax871432.ComplementCounts.html https://laxarchive.org/lax-871432/Lax871432.ConnectedPartitions.html https://laxarchive.org/lax-871432/Lax871432.Contractions.html https://laxarchive.org/lax-871432/Lax871432.CoproductCounts.html https://laxarchive.org/lax-871432/Lax871432.DisjointUnionCounts.html https://laxarchive.org/lax-871432/Lax871432.DistinguishingClosure.html https://laxarchive.org/lax-871432/Lax871432.DistinguishingClosureOperator.html https://laxarchive.org/lax-871432/Lax871432.EdgeContractions.html https://laxarchive.org/lax-871432/Lax871432.FullComplementCounts.html https://laxarchive.org/lax-871432/Lax871432.GraphClasses.html https://laxarchive.org/lax-871432/Lax871432.GraphFamilies.html https://laxarchive.org/lax-871432/Lax871432.GraphProducts.html https://laxarchive.org/lax-871432/Lax871432.HomomorphismCounts.html https://laxarchive.org/lax-871432/Lax871432.HomomorphismIndistinguishability.html https://laxarchive.org/lax-871432/Lax871432.InducedSubgraphs.html https://laxarchive.org/lax-871432/Lax871432.IntersectionsUnions.html https://laxarchive.org/lax-871432/Lax871432.IsomorphismRelaxations.html https://laxarchive.org/lax-871432/Lax871432.LexicographicProductCounts.html https://laxarchive.org/lax-871432/Lax871432.LinearCombinationLemma.html https://laxarchive.org/lax-871432/Lax871432.LoopGraphs.html https://laxarchive.org/lax-871432/Lax871432.LoopedGraphCounts.html https://laxarchive.org/lax-871432/Lax871432.LovaszTheorem.html https://laxarchive.org/lax-871432/Lax871432.MinorsComplements.html https://laxarchive.org/lax-871432/Lax871432.PreservationProperties.html https://laxarchive.org/lax-871432/Lax871432.ProductPreservation.html https://laxarchive.org/lax-871432/Lax871432.RobersonConjecture.html https://laxarchive.org/lax-871432/Lax871432.TakingSummands.html https://laxarchive.org/lax-871432/Lax871432Proofs.cl_iInf_le_iInf_cl.html https://laxarchive.org/lax-871432/Lax871432Proofs.determines_of_determines_sum.html https://laxarchive.org/lax-871432/Lax871432Proofs.homCount_catProd_right.html https://laxarchive.org/lax-871432/Lax871432Proofs.homCount_compl.html https://laxarchive.org/lax-871432/Lax871432Proofs.homCount_fullCompl.html https://laxarchive.org/lax-871432/Lax871432Proofs.homCount_lexProd.html https://laxarchive.org/lax-871432/Lax871432Proofs.homCount_looped.html https://laxarchive.org/lax-871432/Lax871432Proofs.homCount_sum_left.html https://laxarchive.org/lax-871432/Lax871432Proofs.homCount_sum_right.html https://laxarchive.org/lax-871432/Lax871432Proofs.homMatrix_isUnit.html https://laxarchive.org/lax-871432/Lax871432Proofs.iSup_cl_le_cl_iSup.html https://laxarchive.org/lax-871432/Lax871432Proofs.isClosureOperator.html https://laxarchive.org/lax-871432/Lax871432Proofs.lovasz.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderCatProd.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderCompl_iff_cl_isMinorClosed.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderCompl_of_isMinorClosed.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderDisjointUnion_iff_cl_isSummandClosed.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderDisjointUnion_of_isSummandClosed.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderLeftLexProd_iff_cl_isInducedSubgraphClosed.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderLeftLexProd_of_isInducedSubgraphClosed.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderRightLexProd_iff_cl_isContractionClosed.html https://laxarchive.org/lax-871432/Lax871432Proofs.preservedUnderRightLexProd_of_isContractionClosed.html https://laxarchive.org/lax-871432/paper-pdf.html https://laxarchive.org/lax-871432/paper.html https://laxarchive.org/lax-881656/ https://laxarchive.org/lax-881656/Lax881656.BarnetteConjecture.html https://laxarchive.org/lax-881656/Lax881656.Bipartite.html https://laxarchive.org/lax-881656/Lax881656.Cubic.html https://laxarchive.org/lax-881656/Lax881656.HamiltonianCycle.html https://laxarchive.org/lax-881656/Lax881656.ThreeConnected.html https://laxarchive.org/lax-894236/ https://laxarchive.org/lax-894236/Lax894236.EulerCharacteristic.html https://laxarchive.org/lax-894236/Lax894236.GeometricGenus.html https://laxarchive.org/lax-894236/Lax894236.LinearSubspaceClass.html https://laxarchive.org/lax-894236/Lax894236.NoetherLefschetzWindow.html https://laxarchive.org/lax-894236/Lax894236.Parity.html https://laxarchive.org/lax-894236/Lax894236Proofs.EulerCharacteristic.chiPoly_eq_binomial_tail.html https://laxarchive.org/lax-894236/Lax894236Proofs.GeometricGenus.genus_degree.html https://laxarchive.org/lax-894236/Lax894236Proofs.GeometricGenus.pg_eq_one_iff.html https://laxarchive.org/lax-894236/Lax894236Proofs.GeometricGenus.pg_eq_zero_iff.html https://laxarchive.org/lax-894236/Lax894236Proofs.GeometricGenus.two_le_pg.html https://laxarchive.org/lax-894236/Lax894236Proofs.LinearSubspaceClass.no_rational_multiple.html https://laxarchive.org/lax-894236/Lax894236Proofs.NoetherLefschetzWindow.bound_eq_pg_iff.html https://laxarchive.org/lax-894236/Lax894236Proofs.NoetherLefschetzWindow.bound_le_pg.html https://laxarchive.org/lax-894236/Lax894236Proofs.NoetherLefschetzWindow.bound_lt_pg.html https://laxarchive.org/lax-894236/Lax894236Proofs.NoetherLefschetzWindow.window_eq_A005581.html https://laxarchive.org/lax-894236/Lax894236Proofs.Parity.betti_relation.html https://laxarchive.org/lax-894236/Lax894236Proofs.Parity.three_dvd_h11Num.html https://laxarchive.org/lax-894236/Lax894236Proofs.Parity.two_dvd_b3.html https://laxarchive.org/lax-894236/Lax894236Proofs.Parity.two_dvd_chiBinom_of_odd.html https://laxarchive.org/lax-9/ https://laxarchive.org/lax-9/Lax9.BoundedMergeWidthChiBounded.html https://laxarchive.org/lax-9/Lax9.BoundedMergeWidthLinearNeighborhoodComplexity.html https://laxarchive.org/lax-9/Lax9.ChiBoundedness.html https://laxarchive.org/lax-9/Lax9.MergeWidth.html https://laxarchive.org/lax-9/Lax9.NeighborhoodComplexity.html https://laxarchive.org/lax-9/Lax9Proofs.chiBounded_of_boundedMergeWidth.html https://laxarchive.org/lax-9/Lax9Proofs.linearNeighborhoodComplexity_of_boundedMergeWidth.html https://laxarchive.org/lax-916827/ https://laxarchive.org/lax-916827/Lax916827.ConfigurationGraphOutput.html https://laxarchive.org/lax-916827/Lax916827.ConfigurationGraphRational.html https://laxarchive.org/lax-916827/Lax916827.ConfigurationGraphs.html https://laxarchive.org/lax-916827/Lax916827.DuplicationContinuous.html https://laxarchive.org/lax-916827/Lax916827.MapLiftingContinuity.html https://laxarchive.org/lax-916827/Lax916827.RegularComposition.html https://laxarchive.org/lax-916827/Lax916827.RegularConcatenation.html https://laxarchive.org/lax-916827/Lax916827.RegularConditional.html https://laxarchive.org/lax-916827/Lax916827.RegularContinuity.html https://laxarchive.org/lax-916827/Lax916827.RegularEquivalenceDecidable.html https://laxarchive.org/lax-916827/Lax916827.RegularFunctions.html https://laxarchive.org/lax-916827/Lax916827.RegularMapLifting.html https://laxarchive.org/lax-916827/Lax916827.RegularOfSST.html https://laxarchive.org/lax-916827/Lax916827.RegularOfTwoWay.html https://laxarchive.org/lax-916827/Lax916827.RegularSum.html https://laxarchive.org/lax-916827/Lax916827.ReversalContinuous.html https://laxarchive.org/lax-916827/Lax916827.SSTIffRegular.html https://laxarchive.org/lax-916827/Lax916827.SSTOfRegular.html https://laxarchive.org/lax-916827/Lax916827.SnakeGraphs.html https://laxarchive.org/lax-916827/Lax916827.SnakeLemma.html https://laxarchive.org/lax-916827/Lax916827.StreamingStringTransducers.html https://laxarchive.org/lax-916827/Lax916827.TwoWayCodes.html https://laxarchive.org/lax-916827/Lax916827.TwoWayComposition.html https://laxarchive.org/lax-916827/Lax916827.TwoWayContinuity.html https://laxarchive.org/lax-916827/Lax916827.TwoWayIffRegular.html https://laxarchive.org/lax-916827/Lax916827.TwoWayMealyPrecomposition.html https://laxarchive.org/lax-916827/Lax916827.TwoWayOfRegular.html https://laxarchive.org/lax-916827/Lax916827.TwoWayRationalPrecomposition.html https://laxarchive.org/lax-916827/Lax916827.TwoWayTransducers.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.continuous_duplicate.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.continuous_mapLift.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.continuous_of_isRegularFun.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.continuous_of_isTwoWay.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.continuous_reverse.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.decidable_twoWayCodeRel_eq.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.exists_isRegularFun_sum.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRationalFun_enc.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegularFun_comp.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegularFun_concat.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegularFun_ite.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegularFun_mapLift.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegularFun_of_isSST.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegularFun_of_isTwoWay.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegularFun_snakeOut.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isRegular_encOutputLang.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isSST_iff_isRegularFun.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isSST_of_isRegularFun.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isTwoWay_comp.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isTwoWay_comp_isMealy.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isTwoWay_comp_isRationalFun.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isTwoWay_iff_isRegularFun.html https://laxarchive.org/lax-916827/Lax916827Proofs.Results.isTwoWay_of_isRegularFun.html https://laxarchive.org/lax-979537/ https://laxarchive.org/lax-979537/Lax979537.FixedPointEvaluation.html https://laxarchive.org/lax-979537/Lax979537.FixedPointSemantics.html https://laxarchive.org/lax-979537/Lax979537.FixedPointSyntax.html https://laxarchive.org/lax-979537/Lax979537.ImmermanVardi.html https://laxarchive.org/lax-979537/Lax979537.LeastFixedPoints.html https://laxarchive.org/lax-979537/Lax979537.OrderedStructures.html https://laxarchive.org/lax-979537/Lax979537.PolynomialTime.html https://laxarchive.org/lax-979537/Lax979537.StructureEncoding.html https://laxarchive.org/lax-979537/Lax979537Proofs.FixedPointEvaluation.evaluationInP.html https://laxarchive.org/lax-979537/Lax979537Proofs.ImmermanVardi.capturesPtime.html https://laxarchive.org/lax-979537/Lax979537Proofs.ImmermanVardi.ptimeDefinable.html https://laxarchive.org/lax-979537/Lax979537Proofs.LeastFixedPoints.finiteConvergence.html https://laxarchive.org/lax-979537/Lax979537Proofs.LeastFixedPoints.fixedPoint.html https://laxarchive.org/lax-979537/Lax979537Proofs.LeastFixedPoints.least.html https://laxarchive.org/lax-979537/Lax979537Proofs.Positivity.positiveBodyMonotone.html https://laxarchive.org/lax-979537/Lax979537Proofs.StructureEncoding.encodeInjective.html https://laxarchive.org/lax-979537/Lax979537Proofs.StructureEncoding.encodeLength.html https://laxarchive.org/lax-988886/ https://laxarchive.org/lax-988886/Lax988886.ExistentialSecondOrder.html https://laxarchive.org/lax-988886/Lax988886.Fagin.html https://laxarchive.org/lax-988886/Lax988886.FiniteStructures.html https://laxarchive.org/lax-988886/Lax988886.NondeterministicPolynomialTime.html https://laxarchive.org/lax-988886/Lax988886Proofs.Fagin.capturesNP.html https://laxarchive.org/lax-988886/Lax988886Proofs.Fagin.definableInNP.html https://laxarchive.org/lax-988886/Lax988886Proofs.Fagin.npDefinable.html https://laxarchive.org/lax-988886/Lax988886Proofs.Isomorphism.satisfiesInvariant.html https://laxarchive.org/open-proof-obligations.html https://laxarchive.org/privacy.html https://laxarchive.org/submissions/ https://laxarchive.org/workshop/