Infoscience

Conference paper

Decision Procedures for Set-Valued Fields

    Note:

    See http://infoscience.epfl.ch/search.py?recid=110224&ln;=en for full version

    Reference

    • LARA-CONF-2005-004

    Record created on 2007-08-21, modified on 2016-08-08

Related material