Combining logic programs and monadic second order logics by program transformation (Q3079918)
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: Combining logic programs and monadic second order logics by program transformation |
scientific article; zbMATH DE number 5860257
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Combining logic programs and monadic second order logics by program transformation |
scientific article; zbMATH DE number 5860257 |
Statements
Combining Logic Programs and Monadic Second Order Logics by Program Transformation (English)
0 references
4 March 2011
0 references
0.788417637348175
0 references
0.7832642197608948
0 references
0.781498372554779
0 references
0.7763828039169312
0 references
