Share This Author
The Di erential Fixpoint Operatorwith SubsumptionGerhard
This paper proposes user-supplied subsumption information as a paradigm to specify desired, prefered or useful deductions at the meta level in logic programming and succeeds to extend the classical theorems for least models, x-points and bottom-up evaluation accordingly.
Intergeneric Hybridization in Cichorieae, XI:On the diminution of the chromosome number in the F1-hybrid of Paraixeris denticulata and Lactuca squarrosa
As early as 1943, the senior author reported on a hybrid between Paraixeris denticulata and Lactuca squarrosa , in which a quite un precedented nature in the chromosome behavior of the hybrid was…