Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
ATZ-Fachkongress

Chassis.tech plus 2024


4 Kongresse in einer Veranstaltung

Treffen Sie in München die Fachleute von Chassis, Lenkung, Bremsen sowie Reifen/Räder.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
1. Introduction Kapitel lesen Erstes Kapitel lesen

2004 | OriginalPaper | Buchkapitel

B. Proofs of Simplification Theorems

verfasst von : Sergey Melnik

Erschienen in: Generic Model Management

Verlag: Springer Berlin Heidelberg

Enthalten in: Professional Book Archive

Zugang erhalten

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

In this appendix, we prove the Theorems 4.2.1, 4.2.3, and 4.2.5, which provide simplified characterization of operators Extract, Merge, and Diff, respectively.

Vorheriges Kapitel A. User Study: Gathering Intended Match Results
Metadaten
Titel
B. Proofs of Simplification Theorems
verfasst von
Sergey Melnik
Copyright-Jahr
2004
Verlag
Springer Berlin Heidelberg
Buch
Generic Model Management

Print ISBN: 978-3-540-21980-4

Electronic ISBN: 978-3-540-24684-8

Copyright-Jahr: 2004

DOI
https://doi.org/10.1007/978-3-540-24684-8_13

Premium Partner

    Bildnachweise