Cargando…
Relative Termination via Dependency Pairs
A term rewrite system is terminating when no infinite reduction sequences are possible. Relative termination generalizes termination by permitting infinite reductions as long as some distinguished rules are not applied infinitely many times. Relative termination is thus a fundamental notion that has...
Autores principales: | Iborra, José, Nishida, Naoki, Vidal, Germán, Yamada, Akihisa |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Springer Netherlands
2016
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6109893/ https://www.ncbi.nlm.nih.gov/pubmed/30174365 http://dx.doi.org/10.1007/s10817-016-9373-5 |
Ejemplares similares
-
Relating the transcriptome and microbiome by paired terminal ileal Crohn disease
por: Cai, Chenwen, et al.
Publicado: (2021) -
An Easy-To-Use Combination Four-Terminal-Pair/Two-Terminal-Pair AC Transformer Bridge
por: Jeffery, A., et al.
Publicado: (1998) -
The Importance of the C-Terminal Cys Pair of Phosphoribulokinase in Phototrophs in Thioredoxin-Dependent Regulation
por: Fukui, Kazuha, et al.
Publicado: (2022) -
CTCF mediates chromatin looping via N-terminal domain-dependent cohesin retention
por: Pugacheva, Elena M., et al.
Publicado: (2020) -
Rho-dependent transcription termination proceeds via three routes
por: Song, Eunho, et al.
Publicado: (2022)