Publication
Detail
Publication date: 01/01/2004A termination theorem for sorted multi-adjoint logic programs
Publisher | Universitat Politècnica de Catalunya |
---|---|
Publisher | Universitat Politècnica de Catalunya |
Publisher | Universitat Politècnica de Catalunya |
---|---|
Publisher | Universitat Politècnica de Catalunya |