A. Bijlsma

From MaRDI portal
(Redirected from Person:685523)



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Template method test pattern
Information Processing Letters
2018-10-19Paper
scientific article; zbMATH DE number 1210361 (Why is no real title available?)1998-11-29Paper
Point-free substitution
Science of Computer Programming
1996-10-20Paper
Calculating with procedure calls
Information Processing Letters
1993-10-17Paper
Quasi-boolean equivalence
Information Processing Letters
1993-06-29Paper
Derivation of logic programs by functional methods
Information Processing Letters
1992-06-28Paper
A sharp proof rule for procedures in WP semantics
Acta Informatica
1989-01-01Paper
Calculating with pointers
Science of Computer Programming
1989-01-01Paper
Equivalence of the Gries and Martin proof rules for procedure calls
Acta Informatica
1986-01-01Paper
A note on elliptic functions and approximation by algebraic numbers of bounded degree
Annales de la Faculté des sciences de Toulouse : Mathématiques
1983-01-01Paper
A note on elliptic functions and approximation by algebraic numbers of bounded degree
Annales de la Faculté des sciences de Toulouse : Mathématiques
1983-01-01Paper
Algebraic points of abelian functions in two variables
Annales de la Faculté des sciences de Toulouse : Mathématiques
1982-01-01Paper
Algebraic points of abelian functions in two variables
Annales de la Faculté des sciences de Toulouse : Mathématiques
1982-01-01Paper
scientific article; zbMATH DE number 3803539 (Why is no real title available?)1982-01-01Paper
scientific article; zbMATH DE number 3760271 (Why is no real title available?)1981-01-01Paper
An elliptic analogue of the Franklin-Schneider theorem
Annales de la Faculté des sciences de Toulouse : Mathématiques
1980-01-01Paper
An elliptic analogue of the Franklin-Schneider theorem
Annales de la Faculté des sciences de Toulouse : Mathématiques
1980-01-01Paper
scientific article; zbMATH DE number 3643355 (Why is no real title available?)1978-01-01Paper
scientific article; zbMATH DE number 3552600 (Why is no real title available?)1977-01-01Paper
scientific article; zbMATH DE number 3552600 (Why is no real title available?)1977-01-01Paper
scientific article; zbMATH DE number 3487532 (Why is no real title available?)1975-01-01Paper


Research outcomes over time


This page was built for person: A. Bijlsma