Exploiting parallelism in coalgebraic logic programming (Q280198): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68N17 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6577990 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coinduction | |||
Property / zbMATH Keywords: coinduction / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
corecursion | |||
Property / zbMATH Keywords: corecursion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
guardedness | |||
Property / zbMATH Keywords: guardedness / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
parallelism | |||
Property / zbMATH Keywords: parallelism / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
GoLang | |||
Property / zbMATH Keywords: GoLang / rank | |||
Normal rank |
Revision as of 18:23, 27 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exploiting parallelism in coalgebraic logic programming |
scientific article |
Statements
Exploiting parallelism in coalgebraic logic programming (English)
0 references
6 May 2016
0 references
coinduction
0 references
corecursion
0 references
guardedness
0 references
parallelism
0 references
GoLang
0 references