-
Notifications
You must be signed in to change notification settings - Fork 7
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#24 In lorepozo/program-induction;
- Status: Open.#21 In lorepozo/program-induction;
Improve TRS sampler
enhancementNew feature or requestNew feature or requestStatus: Open.#19 In lorepozo/program-induction;- Status: Open.#18 In lorepozo/program-induction;
Make TRS rules probabilistic
enhancementNew feature or requestNew feature or requestStatus: Open.#17 In lorepozo/program-induction;Add additional representations: graph rewriting
enhancementNew feature or requestNew feature or requestStatus: Open.#16 In lorepozo/program-induction;Add additional representations: conditional rewriting
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In lorepozo/program-induction;Add additional representations: higher-order rewriting
enhancementNew feature or requestNew feature or requestStatus: Open.#14 In lorepozo/program-induction;Add additional representations: Parigot's (1992) lambda-mu calculus
enhancementNew feature or requestNew feature or requestStatus: Open.#13 In lorepozo/program-induction;Add additional representations: Barry Jay's (2016) lambda-SF calculus
enhancementNew feature or requestNew feature or requestStatus: Open.#12 In lorepozo/program-induction;Add additional representations: Barry Jay's (2009) pattern calculus
enhancementNew feature or requestNew feature or requestStatus: Open.#11 In lorepozo/program-induction;Create TRS search methods that capture the behavior of less flexible formalisms
enhancementNew feature or requestNew feature or requestStatus: Open.#10 In lorepozo/program-induction;