Concepedia

Hans Zantema

HZ

24

Publications

989

Citations

16

H-Index

1980

Active since

Affiliations

Eindhoven University of Technology(Current)

Utrecht University

Radboud University Nijmegen

Leipzig University of Applied Sciences

Centrum Wiskunde & Informatica

Hans Zantema is an author at Eindhoven University of Technology specializing in formal methods, engineering, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationGrammarLanguageLinguisticsComputational Complexity

Publications per year

1980–2019

24

Publications

24

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema · Journal of Automated Reasoning · 2007 · 157 citations · Full text

Term Rewriting, Regulated Rewriting, Formal Methods +2

Termination of term rewriting: interpretation and type elimination

Hans Zantema · Journal of Symbolic Computation · 1994 · 155 citations

Term Rewriting, Syntax, Engineering +9

TERMINATION OF TERM REWRITING BY SEMANTIC LABELLING

Hans Zantema · Fundamenta Informaticae · 1995 · 152 citations

Terminology Management, Engineering, Semantics +18

Integer valued polynomials over a number field

Hans Zantema · manuscripta mathematica · 1982 · 66 citations

Computational Number Theory, Number Field, Analytic Number Theory +1

FINDING SMALL EQUIVALENT DECISION TREES IS HARD

Hans Zantema, Hans L. Bodlaender · International Journal of Foundations of Computer Science · 2000 · 61 citations

Circuit Complexity, Computational Complexity Theory, Engineering +15

Rows per page

1–5 of 24