The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Aus International Center for Computational Logic
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Pascal HitzlerPascal Hitzler, Anthony Karel SedaAnthony Karel Seda
Pascal Hitzler, Anthony Karel Seda
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Fields Institute Communications (32):219-235, 2002
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Fields Institute Communications (32):219-235, 2002
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@article{HS2002,
author = {Pascal Hitzler and Anthony Karel Seda},
title = {The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic
Programming},
journal = {Fields Institute Communications},
number = {32},
year = {2002},
pages = {219-235}
}