Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
type: Item
instance of: scholarly article
title: Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming
zbMATH Open document ID: 1364.68137
DOI: 10.1007/978-3-642-33314-9_3
author: Peter Höfner
author: Bernhard Möller
author: Andreas Zelend
published in: Relational and Algebraic Methods in Computer Science
publication date: 2012-09-21T00:00:00Z
full work available at URL: TR 2012 06.pdf
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6085007
describes a project that uses: Mace4
describes a project that uses: Prover9
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W178365807
cites work: A Fundamental Theorem of Homomorphisms for Semirings
cites work: An Algebra for Features and Feature Composition
cites work: An algebraic foundation for automatic feature-based program synthesis
cites work: Sets of postulates for Boolean groups
cites work: Abstract delta modelling
cites work: Q4444750
description: scientific article; zbMATH DE number 6085007