The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming

TitleThe Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Publication TypeBook Chapter
Year of Publication2002
AuthorsAnthony K. Seda, Pascal Hitzler
Full Text

Pascal Hitzler and Anthony K. Seda, 'The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming,' In: F-V. Kuhlmann, S. Kuhlmann and M. Marshall (eds.), Valuation Theory and Its Applications, Vol. I. Fields Institute Communications Vol. 32, American Mathematical Society, 2002, 219-235.
pages: 219-235
year: 2002
hasEditor: F-V. Kuhlmann and S. Kuhlmann and M. Marshall
hasURL: http://knoesis.wright.edu/faculty/pascal/resources/publications/pdf/pcri...
hasBookTitle: Valuation Theory and Its Applications, Vol. I. Fields Institute Communications Vol. 32