• 1237 Citaties
1980 …2019

Research output per year

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

Onderzoeksoutput

Filter
Rapport
2015

Proving looping and non-looping non-termination by finite automata

Endrullis, J. & Zantema, H., 2015, s.n. 20 blz. (arXiv; vol. 1505.00478 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
36 Downloads (Pure)

Proving termination of graph transformation systems using weighted type graphs over semirings

Bruggink, H. J. S., König, B., Nolte, D. & Zantema, H., 2015, s.n. 19 blz. (arXiv; vol. 1505.01695 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
5 Citaten (Scopus)
75 Downloads (Pure)

The degree of squares is an atom (Extended version)

Endrullis, J., Grabmayer, C. A., Hendriks, D. & Zantema, H., 2015, s.n. 19 blz. (arXiv; vol. 1506.00884 [cs.FL])

Onderzoeksoutput: Boek/rapportRapportAcademic

1 Downloads (Pure)
2014

A probablistic analysis of the Game of the Goose

Groote, J. F. & Zantema, H., 2014, Eindhoven: Technische Universiteit Eindhoven. 12 blz. (Computer science reports; vol. 1404)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
54 Downloads (Pure)

Non-termination using regular languages

Endrullis, J. & Zantema, H., 2014, s.n. 6 blz. (arXiv; vol. 1405.5662 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
23 Downloads (Pure)
2012

A rewriting view of simple typing

Stump, A., Zantema, H., Kimmell, G. & El Haj Omar, R., 2012, s.n. 27 blz. (arXiv.org; vol. 1211.0865 [cs.PL])

Onderzoeksoutput: Boek/rapportRapportAcademic

2009

Degrees of undecidability in rewriting

Endrullis, J., Geuvers, J. H. & Zantema, H., 2009, s.n. 19 blz. (arXiv.org [cs.LO]; vol. 0902.4723)

Onderzoeksoutput: Boek/rapportRapportAcademic

2007

Certification of proving termination of term rewriting by matrix interpretations

Koprowski, A. & Zantema, H., 2007, Eindhoven: Technische Universiteit Eindhoven. 23 blz. (Computer science reports; vol. 0722)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
59 Downloads (Pure)
2006

Recursive path ordering for infinite labelled rewrite systems

Koprowski, A. & Zantema, H., 2006, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 0617)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
3 Citaten (Scopus)
36 Downloads (Pure)
2005

Proving liveness with fairness using rewriting

Koprowski, A. & Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (Computer science reports; vol. 0506)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
48 Downloads (Pure)

Reducing right hand sides for termination

Zantema, H., 2005, Eindhoven: Technische Universiteit Eindhoven. 22 blz. (Computer science reports; vol. 0519)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
8 Citaten (Scopus)
55 Downloads (Pure)
2004

Generalizing DPLL and satisfiability for equalities

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2004, Amsterdam: Centrum voor Wiskunde en Informatica. 28 blz. (CWI report. SEN-R : software engineering; vol. 0407)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
43 Downloads (Pure)

Generalizing DPLL and satisfiability for equalities

Badban, B., Pol, van de, J. C., Tveretina, O. & Zantema, H., 2004, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 0414)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
75 Downloads (Pure)
2003

A proof system and a decision procedure for equality logic

Tveretina, O. & Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (Computer science reports; vol. 0302)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
137 Downloads (Pure)

Liveness in rewriting

Giesl, J. & Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 26 blz. (Computer science reports; vol. 0301)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
13 Citaten (Scopus)
50 Downloads (Pure)

Termination of string rewriting proved automatically

Zantema, H., 2003, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 0314)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
145 Downloads (Pure)

Transforming equality logic to propositional logic

Zantema, H. & Groote, J. F., 2003, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Computer science reports; vol. 0305)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
4 Citaten (Scopus)
68 Downloads (Pure)
2002

Liveness in rewriting

Giesl, J. & Zantema, H., 2002, March 2003 revised version redactie Aachen: RWTH Aachen. (Aachener Informatik Berichte; vol. AIB2002-11)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
58 Downloads (Pure)

Transforming DPLL to resolution

Tveretina, O. & Zantema, H., 2002, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 0207)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
363 Downloads (Pure)
2001

A rewriting approach to binary decision diagrams

Zantema, H. & Pol, van de, J. C., 2001, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computing science reports; vol. 0101)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
7 Citaten (Scopus)
103 Downloads (Pure)
2000

Resolution and binary decision diagrams cannot simulate each other polynomially

Groote, J. F. & Zantema, H., 2000, Amsterdam: Centrum voor Wiskunde en Informatica. 12 blz. (CWI report. SEN-R : software engineering; vol. 0009)

Onderzoeksoutput: Boek/rapportRapportAcademic

Resolution and binary decision diagrams cannot simulate each other polynomially

Groote, J. F. & Zantema, H., 2000, Utrecht: Department of Computer Science. 14 blz. (Technical Report UU-CS; vol. 2000-14)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
47 Downloads (Pure)
1997

Termination of context-sensitive rewriting

Zantema, H., 1997, Utrecht: Utrecht University. 16 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9708)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
36 Citaten (Scopus)
40 Downloads (Pure)
1996

Non-looping rewriting

Zantema, H. & Geser, A., 1996, Utrecht: Utrecht University. 26 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9603)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
21 Downloads (Pure)

Transforming termination by self-labelling

Middeldorp, A., Ohsaki, H. & Zantema, H., 1996, Utrecht: Utrecht University. 15 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9615)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
23 Citaten (Scopus)
50 Downloads (Pure)
1995

A complete equational axiomatization for BPAdelta-eta with prefix iteration

Fokkink, W. J. & Zantema, H., 1995, Utrecht: Utrecht University. 16 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9510)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
23 Downloads (Pure)

Termination of constructor systems using semantic unification

Arts, T. H. J. J. & Zantema, H., 1995, Utrecht: Utrecht University. 16 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9517)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
31 Downloads (Pure)
1994

A complete characterization of termination of $0%5Ep 1%5Eq \rightarrow 1%5Er 0%5Es$

Zantema, H. & Geser, A., 1994, Utrecht: Utrecht University. 16 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9443)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
36 Downloads (Pure)

Dummy elimination : making termination easier

Ferreira, M. C. F. & Zantema, H., 1994, Utrecht: Utrecht University. 18 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9447)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
60 Downloads (Pure)

Rewrite systems for integer arithmetic

Walters, H. R. & Zantema, H., 1994, Utrecht: Utrecht University. 14 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9443)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
86 Downloads (Pure)

Syntactical analysis of total termination

Ferreira, M. C. F. & Zantema, H., 1994, Utrecht: Utrecht University. 20 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9428)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
73 Downloads (Pure)

Termination of logic programs via labelled term rewrite systems

Arts, T. H. J. J. & Zantema, H., 1994, Utrecht: Utrecht University. 27 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9420)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
30 Downloads (Pure)

Total termination of term rewriting is undecidable

Zantema, H., 1994, Utrecht: Utrecht University. 18 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9455)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
61 Downloads (Pure)

Well-foundedness of term orderings

Ferreira, M. C. F. & Zantema, H., 1994, Utrecht: Utrecht University. 18 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9446)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
68 Downloads (Pure)
1993

Basic process algebra with iteration : completeness of its equational axioms

Fokkink, W. J. & Zantema, H., 1993, Utrecht: Utrecht University. 16 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9340)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
70 Downloads (Pure)

Termination of term rewriting by semantic labelling

Zantema, H., 1993, Utrecht: Utrecht University. 17 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9324)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
36 Downloads (Pure)
1992

Derivation lengths in term rewriting from interpretations in the naturals

Meeussen, V. C. S. & Zantema, H., 1992, Utrecht: Utrecht University. 13 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9243)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
32 Downloads (Pure)

Termination of term rewriting by interpretation

Zantema, H., 1992, Utrecht: Utrecht University. 21 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9214)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
61 Downloads (Pure)

Termination of term rewriting by semantic labelling

Zantema, H., 1992, Utrecht: Utrecht University. 14 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9238)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
37 Downloads (Pure)

Total termination of term rewriting

Ferreira, M. C. F. & Zantema, H., 1992, Utrecht: Utrecht University. 24 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9242)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
72 Downloads (Pure)
1991

Classifying termination of term rewriting

Zantema, H., 1991, Utrecht: Utrecht University. 12 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9142)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
29 Downloads (Pure)

Termination of term rewriting : from many-sorted to one-sorted

Zantema, H., 1991, Utrecht: Utrecht University. 14 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9118)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
27 Downloads (Pure)
1990

Longest segment problems

Zantema, H., 1990, Utrecht: Utrecht University. 39 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 9028)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
50 Downloads (Pure)
1988

Binary structures in program transformations

Zantema, H., 1988, Utrecht: Utrecht University. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 8824)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
33 Downloads (Pure)

Majority voting : characterization and algorithms

Zantema, H., 1988, Utrecht: Utrecht University. 13 blz. (Universiteit Utrecht. UU-CS, Department of Computer Science; vol. 8832)

Onderzoeksoutput: Boek/rapportRapportPopulair

Open Access
Bestand
32 Downloads (Pure)