No label defined (Q4528813)
From MaRDI portal
scientific article; zbMATH DE number 1563993
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1563993 |
Statements
12 February 2001
0 references
Birthday
0 references
Siberian school of algebra and logic
0 references
semantic programming
0 references
decidability of an elementary theory
0 references
dynamic logic
0 references