Decidability problems in languages with Henkin quantifiers (Q1198829)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Decidability problems in languages with Henkin quantifiers |
scientific article; zbMATH DE number 92990
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability problems in languages with Henkin quantifiers |
scientific article; zbMATH DE number 92990 |
Statements
Decidability problems in languages with Henkin quantifiers (English)
0 references
16 January 1993
0 references
Henkin quantifiers
0 references
theory of equality
0 references
word problem for semigroups
0 references
function quantifiers
0 references
