Enrique Perez Arnaud

typetitleauthorlast post sort icon
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-05-24 20:35
Forum topicFinding Solutions vs. Verifying Solutions Ivan Vodišek2017-05-20 09:38
Forum topicLogic Production Systems (LPS) Neil Madden2017-03-27 18:13
Forum topicThe theory behind the Terms language Enrique Perez Arnaud2014-03-30 21:13
StoryRob Pike on Go at Google Ehud Lamm2013-01-09 22:52
Forum topicSomething you can do with Terms Enrique Perez Arnaud2012-11-17 20:30
Forum topicThe Terms language Enrique Perez Arnaud2012-10-20 23:22