SPIRE
1999
Springer
14 years 3 months ago
1999
Springer
One resource playing a critical role in electronically supported decision-making groups is the facilitator. Facilitation is a complex task, encompassing social abilities, pre-meet...
CADE
2003
Springer
14 years 12 months ago
2003
Springer
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...