Back to Results
First PageMeta Content
Computer programming / Constraint logic programming / Function / Constraint satisfaction problem / FO / Free variables and bound variables / Sheaf / AC-3 algorithm / Constraint satisfaction / Constraint programming / Software engineering / Mathematics


cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd
Add to Reading List

Document Date: 2012-08-10 19:23:47

Open Document

File Size: 267,94 KB

Share Result on Facebook

/

Facility

Indiana University / /

IndustryTerm

example constraint systems / cKanren constraint systems / combine constraint systems / /

Organization

Indiana University / Bloomington / Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Daniel P. Friedman School of Informatics and Computing / /

Person

Maher / William E. Byrd / Jaffar / Claire E. Alvis / M. Carter William / Jeremiah J. Willcock Kyle / /

/

Position

Programming General / /

SocialTag