Enrique Perez Arnaud

type sort icontitleauthorlast post
Forum topicSomething I forgot marco2017-08-26 06:44
Forum topicThe question of the possibility of a simple formal foundation to the natural languages. Enrique Perez Arnaud2017-08-16 01:24
Forum topicFinding Solutions vs. Verifying Solutions Ivan Vodišek2017-05-29 18:23
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-05-25 18:11
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