Logic in databases. International workshop, LID '96, San Miniato, Italy, July 1--2, 1996. Proceedings (Q1815573)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logic in databases. International workshop, LID '96, San Miniato, Italy, July 1--2, 1996. Proceedings |
scientific article; zbMATH DE number 946481
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logic in databases. International workshop, LID '96, San Miniato, Italy, July 1--2, 1996. Proceedings |
scientific article; zbMATH DE number 946481 |
Statements
Logic in databases. International workshop, LID '96, San Miniato, Italy, July 1--2, 1996. Proceedings (English)
0 references
18 November 1996
0 references
The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{Jakobovits, H.; Vermeir, D.}, R-stable models for logic programs, 233-243 [Zbl 0889.68028] \textit{Eiter, T.; Leone, N.; Saccà, D.}, The expressive power of partial models for disjunctive deductive databases, 245-264 [Zbl 0891.68038] \textit{Leone, N.; Rullo, P.; Scarcello, F.}, Stable model checking for disjunctive logic programs, 265-278 [Zbl 0890.68031]
0 references
Logic
0 references
Databases
0 references
Workshop
0 references
Proceedings
0 references
LID '96
0 references
San Miniato (Italy)
0 references
