DOMAINS :: SMT-LIB :: Decision procedures for algebraic datatypes

QPQ saadati at csl.sri.com
Mon Jan 24 13:24:29 EST 2005


Forums QPQ
DOMAINS :: SMT-LIB ::.. Decision procedures for algebraic datatypes

savakrstic wrote at Jan 24, 2005 - 10:24 AM
---------------------------------------------------------------------
I'd like to ask this forum about references for decision procedures
for (the quantifier free theory) of algebraic datatypes, also known as
recursive datatypes. Early papers by Nelson & Oppen and Shostak
contain decision procedures for lists. Nikolaj Bjoerner's thesis
(1988) contains a general account. What else is there that we should
know about and cite?

Thanks,

Sava

---------------------------------------------------------------------

Reply to this message:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=reply&topic=56&forum=46

Browse thread:
http://www.qpq.org/modules.php?op=modload&name=phpBB_14&file=index&action=viewtopic&topic=56

You are receiving this Email because you are subscribed to be notified of events in forums at: http://www.qpq.org/




More information about the SMT-LIB mailing list