Connecting many-sorted theories (Q5294025)
From MaRDI portal
scientific article; zbMATH DE number 5170339
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connecting many-sorted theories |
scientific article; zbMATH DE number 5170339 |
Statements
Connecting many-sorted theories (English)
0 references
9 July 2007
0 references
many-sorted theories
0 references
automated deduction
0 references
artificial intelligence
0 references
modal logic
0 references
word problems of logic
0 references
0 references
