Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation (Q1758669)
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: Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation |
scientific article; zbMATH DE number 6107866
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation |
scientific article; zbMATH DE number 6107866 |
Statements
Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation (English)
0 references
16 November 2012
0 references
algebraic program models
0 references
semantic program properties
0 references
functional equivalence
0 references
program transformations
0 references
approximating model
0 references
scheme equivalence problem
0 references
equivalent transformations
0 references
0.8247007131576538
0 references
0.7857751846313477
0 references
0.761221706867218
0 references
0.7524519562721252
0 references
