Termination by Abstraction

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-27775-0_1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Abstraction by Symbolic Indexing Transformations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Chlorine Atom Abstraction by Methyl Radicals

Australian Journal of Chemistry
Chemistry
1965English

VeriAbs: Verification by Abstraction and Test Generation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Transcription Termination by Nuclear RNA Polymerases

Genes and Development
GeneticsDevelopmental Biology
2009English

Premature Termination of Transcription by RNAP II

Transcription
BiochemistryBiotechnologyGenetics
2013English

Probabilistic Termination by Monadic Affine Sized Typing

ACM Transactions on Programming Languages and Systems
Software
2019English

Seizure Termination by Acidosis Depends on ASIC1a

Nature Neuroscience
Neuroscience
2008English

Effective Intramolecular Hydrogen Abstraction by the Sulfonamide Radical

Bulletin of the Chemical Society of Japan
Chemistry
1971English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy