Disjunctive Logic Programming over Finite Structures
Main Authors: | , , |
---|---|
Format: | Conference item |
Published: |
1994
|
_version_ | 1797104327622393856 |
---|---|
author | Eiter, T Gottlob, G Mannila, H |
author_facet | Eiter, T Gottlob, G Mannila, H |
author_sort | Eiter, T |
collection | OXFORD |
description | |
first_indexed | 2024-03-07T06:32:14Z |
format | Conference item |
id | oxford-uuid:f663f28c-7fb3-4f93-8259-81b7cba2339f |
institution | University of Oxford |
last_indexed | 2024-03-07T06:32:14Z |
publishDate | 1994 |
record_format | dspace |
spelling | oxford-uuid:f663f28c-7fb3-4f93-8259-81b7cba2339f2022-03-27T12:34:45ZDisjunctive Logic Programming over Finite StructuresConference itemhttp://purl.org/coar/resource_type/c_5794uuid:f663f28c-7fb3-4f93-8259-81b7cba2339fDepartment of Computer Science1994Eiter, TGottlob, GMannila, H |
spellingShingle | Eiter, T Gottlob, G Mannila, H Disjunctive Logic Programming over Finite Structures |
title | Disjunctive Logic Programming over Finite Structures |
title_full | Disjunctive Logic Programming over Finite Structures |
title_fullStr | Disjunctive Logic Programming over Finite Structures |
title_full_unstemmed | Disjunctive Logic Programming over Finite Structures |
title_short | Disjunctive Logic Programming over Finite Structures |
title_sort | disjunctive logic programming over finite structures |
work_keys_str_mv | AT eitert disjunctivelogicprogrammingoverfinitestructures AT gottlobg disjunctivelogicprogrammingoverfinitestructures AT mannilah disjunctivelogicprogrammingoverfinitestructures |