Code and Datasets associated with S.H.Muggleton, "ReDuce: Linear-time Inductive Compression using Greedy Folding", IJCLR 2025.
-
Notifications
You must be signed in to change notification settings - Fork 0
StephenMuggleton/ReDuce
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Code and Datasets associated with S.H.Muggleton, "ReDuce: Linear-time Inductive Compression using Greedy Folding"
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published