No label defined (Q4945209)
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: Publication:4945209 |
scientific article; zbMATH DE number 1424019
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 1424019 |
Statements
23 March 2000
0 references
programming language
0 references
theorem proves Isabelle98
0 references
bisimulation
0 references
contextual equivalence
0 references
automated proof
0 references
0.7534391283988953
0 references
0.7376963496208191
0 references
0.7370607256889343
0 references
0.7368842363357544
0 references
