A Aralex Aachen research explorer

May 22, 2006 conference-paper

Enhancing constraints manipulation in semiring-based formalisms

CINECA IRIS Institutial research information system (University of Pisa)

Authors 0

Author list not loaded yet.

Cited by 1 stored of 62

Soft constraint automata with memory
2020 Journal of Logical and Algebraic Methods in Programming article Computer Science Formal Methods in Verification Open access

5

citations

1 result

References 0