Rewriting with Acyclic Queries: Mind your Head
Formale Metadaten
| Titel |
| |
| Serientitel | ||
| Anzahl der Teile | 13 | |
| Autor | ||
| Lizenz | CC-Namensnennung - keine kommerzielle Nutzung - keine Bearbeitung 3.0 Deutschland: Sie dürfen das Werk bzw. den Inhalt in unveränderter Form zu jedem legalen und nicht-kommerziellen Zweck nutzen, vervielfältigen, verbreiten und öffentlich zugänglich machen, sofern Sie den Namen des Autors/Rechteinhabers in der von ihm festgelegten Weise nennen. | |
| Identifikatoren | 10.5446/57486 (DOI) | |
| Herausgeber | ||
| Erscheinungsjahr | ||
| Sprache |
Inhaltliche Metadaten
| Fachgebiet | |
| Genre |
00:00
Gerichtete MengeTermersetzungssystemVorzeichen <Mathematik>DatenbankEin-AusgabeTeilgraphVariableTopologiePolynomLeistungsbewertungKlassische PhysikSchreiben <Datenverarbeitung>SchnittmengeVariableDesign by ContractDatenbankPhysikalisches SystemGraphfärbungGefangenendilemmaSichtenkonzeptOrdinalzahlSchlussregelEin-AusgabeNummernsystemTermBitTopologieBasis <Mathematik>Komplex <Algebra>Wort <Informatik>Rechter WinkelLeistungsbewertungPunktDatensatzSchreib-Lese-KopfCASE <Informatik>RelativitätstheorieZusammenhängender GraphGraphQuellcodeProjektive EbeneTonnelierter RaumArithmetisches MittelDatenmissbrauchFokalpunktKonsistenz <Informatik>Reverse EngineeringWärmeleitfähigkeitKomplexitätstheorieGruppenoperationMultiplikationsoperatorInhalt <Mathematik>ComputersicherheitResultantePrimidealFreier ParameterEntscheidungstheorieRelationale DatenbankAbfrageTermersetzungssystemGrenzschichtablösungTeilgraphBinärcodePolynomCoxeter-GruppeEinfach zusammenhängender RaumJensen-MaßSymboltabelleComputeranimation
05:36
DatenbankBeschreibungskomplexitätTermersetzungssystemÄhnlichkeitsgeometriePartitionsfunktionTopologiePolynomBeweistheorieSichtenkonzeptResultanteTermersetzungssystemWiderspruchsfreiheitTermRelativitätstheorieBitMessage-PassingPartitionsfunktionDreieckSchreib-Lese-KopfTopologieBildschirmmaskeOrdinalzahlAbfragePolynomialzeitalgorithmusSchnittmengeOrdnung <Mathematik>Ein-AusgabeFreewareDatenstrukturOrdnungsreduktionNP-hartes ProblemMultiplikationsoperatorMultifunktionVariableAussagenlogikFreier ParameterBijektionHilfesystemÜberlagerung <Mathematik>ErfüllbarkeitsproblemSchreiben <Datenverarbeitung>NeuroinformatikRechter WinkelInstantiierungGruppenoperationZellularer AutomatBeobachtungsstudieFlächeninhaltInhalt <Mathematik>StrömungsrichtungAuswahlaxiomComputeranimation
11:13
E-FunktionPolynomComputerGibbs-VerteilungSoftwaretestFreewareDatenbankBeschreibungskomplexitätTopologieBootenRelation <Informatik>VariableKonstanteKegelschnittLinearisierungAbzählenAbfrageMultiplikationsoperatorSchreib-Lese-KopfSichtenkonzeptÄhnlichkeitsgeometrieResultanteDatenbankVariableGebundener ZustandOrdinalzahlRelativitätstheoriePolynomDifferenteKomplex <Algebra>Ein-AusgabeGibbs-VerteilungAlgorithmusWurzel <Mathematik>Arithmetisches MittelGrößenordnungBeweistheorieKlasse <Mathematik>TermersetzungssystemSoundverarbeitungMultifunktionRandwertPolynomialzeitalgorithmusTopologieZahlenbereichLeistung <Physik>Relationale DatenbankSoftwaretestFunktion <Mathematik>TupelCASE <Informatik>Hierarchische StrukturLeistungsbewertungAggregatzustandTermSchreiben <Datenverarbeitung>SchnittmengeInstantiierungStandardabweichungGerade ZahlNeuroinformatikRoutingFreewareWarteschlangeFlächeninhaltFreier ParameterTVD-VerfahrenNummernsystemIntegralComputeranimation
Transkript: Englisch(automatisch erzeugt)