Publikationsansicht

Termination of Algebraic Type Systems: The Syntactic Approach (1997)

Gilles Barthe,
Femke Van Raamsdonk

Abstract

this paper, especially termination by stability, may also be adapted to yield similar results for confluence, extending the `confluence by stability' result in [16].

Details der Publikation

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.43.1798
Quelle	http://www.cwi.nl/~femke/ps/alp97.ps
Herausgeber	Springer-Verlag
Mitarbeiter	CiteSeerX
Archiv	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Typ	text
Sprache	Englisch
Verknüpfungen	10.1.1.35.425, 10.1.1.26.4391, 10.1.1.30.3384, 10.1.1.15.9288, 10.1.1.46.6872, 10.1.1.37.8862, 10.1.1.55.3787, 10.1.1.34.8933, 10.1.1.53.6427, 10.1.1.25.5090, 10.1.1.31.5546, 10.1.1.23.9409, 10.1.1.24.5929