REASONING ABOUT OBJECT SYSTEMS IN VTLoE (Q4853340)
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: REASONING ABOUT OBJECT SYSTEMS IN VTLoE |
scientific article; zbMATH DE number 810161
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | REASONING ABOUT OBJECT SYSTEMS IN VTLoE |
scientific article; zbMATH DE number 810161 |
Statements
REASONING ABOUT OBJECT SYSTEMS IN VTLoE (English)
0 references
29 October 1995
0 references
contextual assertion
0 references
variable type logic of effects
0 references
lambda calculus
0 references
VTLoE
0 references
simulation induction
0 references
0.7873760461807251
0 references
0.7835694551467896
0 references
0.7428863048553467
0 references