Completion of a Set of Rules Modulo a Set of Equations

Kirchner, Hélène; Jouannaud, Jean-Pierre

doi:10.1137/0215084

Record: found
Abstract: not found
Article: not found

Completion of a Set of Rules Modulo a Set of Equations

Author(s): Jean-Pierre Jouannaud , Hélène Kirchner

Publication date Created: November 1986

Publication date (Print): November 1986

Journal: SIAM Journal on Computing

Publisher: Society for Industrial & Applied Mathematics (SIAM)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: SIAM Journal on Computing

Abbreviated Title: SIAM J. Comput.

Publisher: Society for Industrial & Applied Mathematics (SIAM)

ISSN (Print): 0097-5397

ISSN (Electronic): 1095-7111

Publication date Created: November 1986

Publication date (Print): November 1986

Volume: 15

Issue: 4

Pages: 1155-1194

Article

DOI: 10.1137/0215084

SO-VID: 422f6afd-9957-46c8-ad58-521425044ca5

History

Data availability:

Completion of a Set of Rules Modulo a Set of Equations

Read this article at

Related collections

Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,882

Cited by 25