We stand with Ukraine  

Ariel Arbiser

According to our database1, Ariel Arbiser authored at least 6 papers between 2005 and 2009.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2009
The lambda-calculus with constructors: Syntax, confluence and separation.
[BibTeX]
[DOI]
Ariel Arbiser
,
Alexandre Miquel
,
Alejandro Ríos
J. Funct. Program., 2009

2008
The Expansion Problem in Lambda Calculi with Explicit Substitution.
[BibTeX]
[DOI]
Ariel Arbiser
J. Log. Comput., 2008

2007
The Weak Normalization of the Simply Typed lambda-<i>s<sub>e</sub></i>-calculus.
[BibTeX]
[DOI]
Ariel Arbiser
,
Fairouz Kamareddine
,
Alejandro Ríos
Log. J. IGPL, 2007

2006
A Lambda-Calculus with Constructors.
[BibTeX]
[DOI]
Ariel Arbiser
,
Alexandre Miquel
,
Alejandro Ríos
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005
Practical crossword generation with checkpoint search.
[BibTeX]
Ariel Arbiser
Proceedings of the AC 2005, 2005

Towards the unification of intuitive and formal game concepts with applications to computer chess.
[BibTeX]
[DOI]
Ariel Arbiser
Proceedings of the Digital Games Research Conference 2005, 2005


  Loading...