A. Bijlsma

Available identifiers

zbMath Open bijlsma.alexMaRDI QIDQ685523

List of research outcomes

Publication	Date of Publication	Type
Template method test pattern	2018-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q4213377	1998-11-29	Paper
Point-free substitution	1996-10-20	Paper
Calculating with procedure calls	1993-10-17	Paper
Quasi-boolean equivalence	1993-06-29	Paper
Derivation of logic programs by functional methods	1992-06-28	Paper
A sharp proof rule for procedures in WP semantics	1989-01-01	Paper
Calculating with pointers	1989-01-01	Paper
Equivalence of the Gries and Martin proof rules for procedure calls	1986-01-01	Paper
A note on elliptic functions and approximation by algebraic numbers of bounded degree	1983-01-01	Paper
Algebraic points of abelian functions in two variables	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4748214	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3943038	1981-01-01	Paper
An elliptic analogue of the Franklin-Schneider theorem	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3048907	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4126411	1977-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4071307	1975-01-01	Paper

Research outcomes over time

This page was built for person: A. Bijlsma