IDEALS Home University of Illinois at Urbana-Champaign logo The Alma Mater The Main Quad

Browse Dept. of Computer Science by Subject "well-founded recursive theory, order-sorted rewriting modulo axioms, termination, confluence, sufficient completeness"

Browse

My Account

Information

Access Key