×

Found 6 Documents (Results 1–6)

Evaluation trees for proposition algebra. (English) Zbl 1444.03110

Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 44-61 (2015).
MSC:  03B70 03G25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proposition algebra and short-circuit logic. (English) Zbl 1354.03035

Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 15-31 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software