|
|||||
|
|
The use of a strategy language for solving search problems |
|
| Authors: | Carlos Castro Peter Borovanský |
| Affiliation: | 1. Departamento de Informática, Universidad Técnica Federico Santa María, Avenida Espa?a 1680, Casilla 110-V, Valparaíso, Chile E-mail 2. Institute of Informatics, MFF UK Mlynská dolina, 842 15, Bratislava, Slovakia E-mail |
| Abstract: | |
| Keywords: | rewriting logic strategies computational systems constraint satisfaction problems |
| 本文献已被 SpringerLink 等数据库收录！ | |