Lohrey Markus: NP-completeness results concerning the transformation of logic programs into attribute grammars. In: Acta cybernetica, (13) 3. pp. 209-224. (1998)
Előnézet |
Cikk, tanulmány, mű
cybernetica_013_numb_003_209-224.pdf Letöltés (1MB) | Előnézet |
Absztrakt (kivonat)
Attribute grammars and logic programs axe two well investigated formalisms, which were related in [DM85] for the restricted class of simple logic programs. In this paper we define the more restricted class of very simple logic programs and we prove that the problem of deciding, whether a given logic program is (very) simple, is NP-complete.
Mű típusa: | Cikk, tanulmány, mű |
---|---|
Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
Dátum: | 1998 |
Kötet: | 13 |
Szám: | 3 |
ISSN: | 0324-721X |
Oldalak: | pp. 209-224 |
Nyelv: | angol |
Kiadás helye: | Szeged |
Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/38505/ |
Kulcsszavak: | Számítástechnika, Kibernetika |
Megjegyzések: | Bibliogr.: p. 223-224. ; összefoglalás angol nyelven |
Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
Feltöltés dátuma: | 2016. okt. 15. 12:26 |
Utolsó módosítás: | 2022. jún. 13. 15:46 |
URI: | http://acta.bibl.u-szeged.hu/id/eprint/12587 |
![]() |
Tétel nézet |