A practical implementation of simple consequence relations using inductive definitions (Q5234714)
From MaRDI portal
scientific article; zbMATH DE number 7111184
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A practical implementation of simple consequence relations using inductive definitions |
scientific article; zbMATH DE number 7111184 |
Statements
A practical implementation of simple consequence relations using inductive definitions (English)
0 references
1 October 2019
0 references
