[Cia1999] Bounded Contraction in Systems with Linearity
| C99Tab (In proceedings)
|
| Author(s) | Ciabattoni A. |
| Title | "Bounded Contraction in Systems with Linearity" |
| Date | 1999 |
| In | Automated Reasoning with Tableaux and Related Methods (Tableaux'99) |
| Volume | 1617 |
| Series | Lectures Notes in Artificial Intelligence |
| Page(s) | 113-128 |
| Publisher | |
@inproceedings{C99Tab,
volume = {1617},
title = {Bounded Contraction in Systems with Linearity},
editors = {},
year = {1999},
booktitle = {Automated Reasoning with Tableaux and Related Methods (Tableaux'99)},
pages = {113-128},
publisher = {},
author = {A. Ciabattoni},
series = {Lectures Notes in Artificial Intelligence},
}
Submit a bug
This document was generated by bib2html 1.2.
Copyright © 1998-04 Stéphane GALLAND (under the GNU General Public License)