Extending Bachmair's method for proof by consistency to the final algebra (Q1336767): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(3 intermediate revisions by 3 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3725540 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Larch shared language handbook / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Observational implementations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On sufficient-completeness and related properties of term rewriting systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581665 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3427354 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4246727 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3716284 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3912057 / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0020-0190(94)00109-x / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2066687655 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:07, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Extending Bachmair's method for proof by consistency to the final algebra |
scientific article |
Statements
Extending Bachmair's method for proof by consistency to the final algebra (English)
0 references
18 October 1995
0 references
abstract data types
0 references
Bachmair's method
0 references