An algebraic foundation for automatic feature-based program synthesis

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch

Erschienen in
In: Science of Computer Programming, 75, 11, S. 1022-1047

Ereignis
Veröffentlichung
(wo)
Augsburg
(wer)
Universität Augsburg
(wann)
2010
Urheber
Apel, Sven
Lengauer, Christian
Möller, Bernhard
Kästner, Christian

DOI
10.1016/j.scico.2010.02.001
URN
urn:nbn:de:bvb:384-opus4-389490
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:43 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Apel, Sven
  • Lengauer, Christian
  • Möller, Bernhard
  • Kästner, Christian
  • Universität Augsburg

Entstanden

  • 2010

Ähnliche Objekte (12)

An Algebraic Approach to Systolic Circuits

An Algebraic Approach to Systolic Circuits

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Monografie

Poimandrosatanomachia ecclesia christiana : hoc est: Poemandri Episcopi et Satanicae Veneris pugna ...

Unendliche Objekte und Geflechte

Hochschulschrift

Unendliche Objekte und Geflechte

An algebraic approach to systolic circuits

An algebraic approach to systolic circuits

Algebraic calculation of graph and sorting algorithms

Algebraic calculation of graph and sorting algorithms

Algebraic calculation of graph and sorting algorithms

Algebraic calculation of graph and sorting algorithms

An Extension for Feature Algebra

An Extension for Feature Algebra

Algebraic neighbourhood logic

Algebraic neighbourhood logic

Algebraic Separation Logic

Algebraic Separation Logic

Towards Algebraic Separation Logic

Towards Algebraic Separation Logic

Feature Algebra

Feature Algebra

Extended feature algebra

Extended feature algebra

Verbundene Objekte