Search

Your search keyword '"Jan A. Bergstra"' showing total 583 results

Search Constraints

Start Over You searched for: Author "Jan A. Bergstra" Remove constraint Author: "Jan A. Bergstra"
583 results on '"Jan A. Bergstra"'

Search Results

267. Tuplix Calculus

276. Fractions in Transrational Arithmetic

277. Promise Theory as a Tool for Informaticians

278. Dual Number Meadows

279. Division by Zero

284. Instruction sequences expressing multiplication algorithms

286. On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions

Catalog

Books, media, physical & digital resources