Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Onderzoeksoutput

Filter
Hoofdstuk
2005

Reducing right-hand sides for termination

Zantema, H., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (redactie). Berlin: Springer, blz. 173-197 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

8 Citaten (Scopus)
2 Downloads (Pure)
2003

Termination

Zantema, H., 2003, Term Rewriting Systems. Terese, X. (redactie). Cambridge: Cambridge University Press, blz. 181-259 (Cambridge Tracts in Theoretical Computer Science; vol. 55).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Downloads (Pure)
1982

Class numbers and units

Zantema, H., 1982, Computational Methods in Number Theory, Part II. Lenstra, H. W. & Tijdeman, R. (redactie). Amsterdam: Stichting Mathematisch Centrum, blz. 213-234 (Mathematical Centre Tracts; vol. 155).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

8 Downloads (Pure)
1980

Class numbers and units

Zantema, H., 1980, Number theory and computers (Studyweek, Math. Cent. Amsterdam 1980). blz. 147-163

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review