Stem transfinit$ (all stems)

8 papers:

DLT-2015-BoassonC #word

Transfinite Lyndon Words (LB, OC), pp. 179–190.

CADE-2011-KovacsMV #on the #order

On Transfinite Knuth-Bendix Orders (LK, GM, AV), pp. 384–399.

CSL-2011-Aschieri #analysis

Transfinite Update Procedures for Predicative Systems of Analysis (FA), pp. 20–34.

RTA-2010-Bahr #modelling #reduction

Abstract Models of Transfinite Reductions (PB), pp. 49–66.

CSL-2005-BradfieldDQ #calculus #μ-calculus

Transfinite Extension of the μ-Calculus (JCB, JD, SQ), pp. 384–396.

RTA-2001-Lucas #semantics #term rewriting

Transfinite Rewriting Semantics for Term Rewriting Systems (SL), pp. 216–230.

WLC-2000-ChoffrutG #formal method #string

The Theory of Rational Relations on Transfinite Strings (CC, SG), pp. 103–133.

RTA-1991-KennawayKSV #orthogonal #reduction #term rewriting

Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract) (RK, JWK, MRS, FJdV), pp. 1–12.