Title | Horn clause programs on abstract structures with parameters |
Publication Type | Journal Article |
Year of Publication | 1993 |
Authors | Soskov I |
Journal | Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique |
Volume | 84 |
Start Page | 53 |
Issue | Livre 1 - Mathématiques |
Pagination | 53-62 |
ISSN | 0205-0808 |
Attachment | Size |
---|---|
84-053-062.pdf | 1.84 MB |