Automated reasoning with a constraint-based metainterpreter (Q4245942)
From MaRDI portal
scientific article; zbMATH DE number 1293687
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automated reasoning with a constraint-based metainterpreter |
scientific article; zbMATH DE number 1293687 |
Statements
Automated reasoning with a constraint-based metainterpreter (English)
0 references
31 May 1999
0 references
metainterpreter
0 references
automated reasoning
0 references
