Horn clause programs on abstract structures with parameters

TitleHorn clause programs on abstract structures with parameters
Publication TypeJournal Article
Year of Publication1993
AuthorsSoskov I
JournalAnnuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique
Volume84
Start Page53
IssueLivre 1 - Mathématiques
Pagination53-62
ISSN0205-0808
AttachmentSize
PDF icon 84-053-062.pdf1.84 MB

© Faculty of Mathematics and Informatics