Results 41 to 50 of about 321,292 (267)
Journal of Symbolic Computation, 1996 In this article we propose an extension of term rewriting techniques to automate the deduction in monotone pre-order theories. To prove an inclusionabfrom a given setIof them, we generate fromI, using a completion procedure, abi-rewrite system, that is, a pair of rewrite relations and , and seek a common termcsuch thatacandbc.
Levy, Jordi, Agustí, Jaume
openaire +3 more sources
A coherence theorem for pseudonatural transformations [PDF]
, 2016 We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories.
Lucas, Maxime
core +6 more sources
A Rewriting View of Simple Typing [PDF]
Logical Methods in Computer Science, 2013 This paper shows how a recently developed view of typing as small-step abstract reduction, due to Kuan, MacQueen, and Findler, can be used to recast the development of simple type theory from a rewriting perspective.
Aaron Stump +3 more
doaj +1 more source
On Constructing Constrained Tree Automata Recognizing Ground Instances of Constrained Terms [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 An inductive theorem proving method for constrained term rewriting systems, which is based on rewriting induction, needs a decision procedure for reduction-completeness of constrained terms.
Naoki Nishida +2 more
doaj +1 more source
Criticón, 2023 With the aim of shedding some light on the poetic production of the Count of Villamediana in traditional meters (essentially, redondillas), the article proposes to analyze the procedures, of transcoding and (auto)rewriting, through which the poet reworks
Flavia Gherardi
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Neuroblastoma is the most common extracranial solid tumor in early childhood. Its clinical behavior is highly variable, ranging from spontaneous regression to fatal outcome despite intensive treatment. The International Society of Pediatric Oncology Europe Neuroblastoma Group (SIOPEN) Radiology and Nuclear Medicine Specialty Committees ...
Annemieke Littooij +11 more
wiley +1 more source
Cahiers d’Études RomanesFar from condemning the matrix-text to remain frozen in its anteriority, the primacy of the origin authorizes us, according to Walter Benjamin, to traverse history along a trail of rewritings.
Alexis Nuselovici (Nouss)
doaj +1 more source
Results of the Childhood Cancer and Leukaemia Group's United Kingdom Relapsed Wilms Tumour Trial
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background The United Kingdom relapsed Wilms tumour (UKW‐R) trial aimed to improve the historically low survival rates after relapse of Wilms tumour (WT) through a prospective national risk‐stratified protocol. The trial also evaluated efficacy and toxicity of high‐dose melphalan.
Sucheta J. Vaidya +10 more
wiley +1 more source
Knuth-Bendix algorithm and the conjugacy problems in monoids
, 2010 We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.Comment: This is a ...
C. Choffrut +13 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Introduction Adolescent siblings of children with cancer are at elevated risk for psychosocial problems. Unfortunately, various barriers such as limited family time and resources, conflicting schedules, and psychosocial staffing constraints at cancer centers hinder sibling access to support.
Christina M. Amaro +10 more
wiley +1 more source