Searched refs:kernel (Results 1 - 4 of 4) sorted by relevance

/hets/Maude/doc/
H A Ddg.tex338 \item a second-order formula saying that the kernel of $h$ ($\mathit{ker}(h)$)
/hets/OWL2/java/lib/
H A Duk.ac.manchester.cs.owl.factplusplus-P5.0-v1.6.3.1.jarMETA-INF/ META-INF/MANIFEST.MF lib/ lib/native/ lib/native/32bit/ lib/native/32 ...
/hets/doc/
H A DUserGuideCommonLogic.tex712 Development graphs are a simple kernel formalism for (heterogeneous)
H A DUserGuide.tex843 Development graphs are a simple kernel formalism for (heterogeneous)

Completed in 929 milliseconds