Inproceedings,

Fixed Point Equations as Hypotheses in Inductive Reasoning.

, and .
AII, volume 265 of Lecture Notes in Computer Science, page 42-54. Springer, (1986)

Meta data

Tags

Users

  • @dblp

Comments and Reviews