Language:   Search:   Contact
World of
Mathematics Database
»ZBMATH« MSC 2000
MSC 2010 Reviewer
Service Subscription
»ZBMATH«
ZBMATH Database | Simple Search Print
Read more | Try MathML | Hide
Zentralblatt MATH has released its new interface!
For an improved author identification, see the new author database of ZBMATH.

ZBMATH Database Simple Search Advanced Search Command Search

Simple Search

Query:
Enter a query and click »Search«...
Format:
Display: entries per page entries
Zbl 0491.03015
Raoult, Jean-Claude
Finiteness results on rewriting systems. (English)
[J] RAIRO, Inf. Théor. 15, 373-391 (1981). ISSN 0296-1598

Display scanned Zentralblatt-MATH page with this review.
MSC 2000:
*03D03 Rewriting systems
03B25 Decidability of theories and sets of sentences
68Q45 Formal languages
68Q65 Abstract data types; algebraic specification
03D05 Automata theory in connection with logical questions

Keywords: term rewriting systems; equivalence classes; finite tree-automaton; confluence; rational tree languages; syntactic congruences in algebras of trees

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering Article Journal

Login Username: Password:

Highlights
Scientific prize winners of the ICM 2010
Overhang
Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Master Server

Zentralblatt MATH Berlin [Germany]

© FIZ Karlsruhe GmbH

Zentralblatt MATH master server is maintained by the Editorial Office in Berlin, Section Mathematics and Computer Science of FIZ Karlsruhe and is updated daily.

Other Mirror Sites

Copyright © 2013 Zentralblatt MATH | European Mathematical Society | FIZ Karlsruhe | Heidelberg Academy of Sciences
Published by Springer-Verlag | Webmaster