Search the dblp DataBase
Ariel Arbiser :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ariel Arbiser Towards the unification of intuitive and formal game concepts with applications to computer chess. [Citation Graph (0, 0)][DBLP ] DIGRA Conf., 2005, pp:- [Conf ] Ariel Arbiser Practical crossword generation with checkpoint search. [Citation Graph (0, 0)][DBLP ] IADIS AC, 2005, pp:235-240 [Conf ] Ariel Arbiser , Alexandre Miquel , Alejandro Ríos A Lambda-Calculus with Constructors. [Citation Graph (0, 0)][DBLP ] RTA, 2006, pp:181-196 [Conf ] Ariel Arbiser , Fairouz Kamareddine , Alejandro Ríos The Weak Normalization of the Simply Typed lambda-se -calculus. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2007, v:15, n:2, pp:121-147 [Journal ] Search in 0.001secs, Finished in 0.001secs