View in EDS HTML Full Text PDF Full Text

Evaluation Trees and Normalisation for Proposition Algebra †.

Saved in:
Bibliographic Details
Title: Evaluation Trees and Normalisation for Proposition Algebra †.
Authors: Bergstra, Jan A.1 (AUTHOR), Ponse, Alban1,2 (AUTHOR) a.ponse@uva.nl, Staudt, Daan J. C.1,2 (AUTHOR)
Source: Mathematics (2227-7390). Jan2026, Vol. 14 Issue 2, p280. 37p.
Database: Academic Search Ultimate
Full text is not displayed to guests.
Description
ISSN:22277390
DOI:10.3390/math14020280