Specification patterns and proofs for recursion through the store (Q3088293)
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: Specification patterns and proofs for recursion through the store |
scientific article; zbMATH DE number 5940785
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Specification patterns and proofs for recursion through the store |
scientific article; zbMATH DE number 5940785 |
Statements
Specification Patterns and Proofs for Recursion through the Store (English)
0 references
19 August 2011
0 references
0 references
0.9917200803756714
0 references
0.7812809944152832
0 references
0.7810920476913452
0 references
0.7700461745262146
0 references
0.7633345127105713
0 references
