Biblio

Author Title Type [ Year(Asc)]
Filters: Keyword is abstract structures  [Clear All Filters]
2003
Baleva V.  2003.  A SEMANTICS OF LOGIC PROGRAMS WITH PARAMETERS. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 95PDF icon 0495.pdf (25.18 KB)PDF icon 95-015-039.pdf (2.25 MB)
2001
Baleva V.  2001.  Regular enumerations for abstract structures. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 93:39-48.PDF icon 93-039-048.pdf (910.83 KB)
2000
Baleva V.  2000.  A semantics of logic programs without searching. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 92(Livre 1 - Mathématiques et Mecanique):31-48.PDF icon 92-031-048.pdf (1.7 MB)

© Faculty of Mathematics and Informatics