Building exact computation sequences
type: Item
instance of: scholarly article
title: Building exact computation sequences
zbMATH Open document ID: 0625.68026
DOI: 10.1016/0304-3975(87)90029-6
author: Alex Pelin
author: Jean Gallier
published in: Theoretical Computer Science
publication date: 1987-01-01T00:00:00Z
review text: See the review of the preliminary version [Lect. Notes Comput. Sci. 214, 45-59 (1986)] in Zbl 0605.68019.
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 08A50
Mathematics Subject Classification ID: 08B20
Mathematics Subject Classification ID: 03C05
zbMATH DE Number: 4016184
zbMATH Keywords: rewriting
zbMATH Keywords: equational theories
zbMATH Keywords: free algebra
zbMATH Keywords: conditional equations
zbMATH Keywords: step function
zbMATH Keywords: top-down reduction extensions
zbMATH Keywords: word problem
MaRDI profile type: Publication
full work available at URL: 0304-3975(87)90029-6
OpenAlex ID: W1986503158
cites work: Q3894958
cites work: Orderings for term-rewriting systems
cites work: Q3336735
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Proofs by induction in equational theories with constructors
cites work: Q3336736
cites work: Q3338226
cites work: Q5581665
cites work: Q3337523
cites work: Q3742704
description: scientific article; zbMATH DE number 4016184