×

Found 3 Documents (Results 1–3)

Bonsai: cutting models down to size. (English) Zbl 1434.68304

Voronkov, Andrei (ed.) et al., Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24–27, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8974, 361-375 (2015).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

Software