×

Found 3 Documents (Results 1–3)

100
MathJax

Computational aspects of arity hierarchies. (English) Zbl 0894.03019

Dalen, Dirk van (ed.) et al., Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1258, 211-225 (1997).
MSC:  03D15 68Q15
PDF BibTeX XML Cite

Filter Results by …

Document Type

Year of Publication

Classification