Publikationsansicht

THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING (2008)

Abstract

www.elsevier.com/locate/jlap Program algebra with unit instruction operators

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.108.2528
Quelle	http://staff.science.uva.nl/~alban/publist/unit.pdf
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	Program algebra, Unit instruction operator, Projection semantics
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.83.8324