3 search results - page 1 / 1 » The Monoids of Order Eight and Nine |
AISC
2008
Springer
13 years 7 months ago
2008
Springer
We describe the use of symbolic algebraic computation allied with AI search techniques, applied to the problem of the identification, enumeration and storage of all monoids of orde...
ACL
2004
13 years 6 months ago
2004
This paper describes an empirical study of the "Information Synthesis" task, defined as the process of (given a complex information need) extracting, organizing and inte...
BIRTHDAY
2007
Springer
13 years 11 months ago
2007
Springer
Showing termination of the Battle of Hercules and Hydra is a challenge. We present the battle both as a rewrite system and as an arithmetic while program, provide proofs of their t...