Sandrine Dasse-Hartaut

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Decision Procedures

Sequent Calculi

Functional Dependencies

Top Venues

Random Struct. Algorithms

Theor. Comput. Sci.

Publications

Jean-Christophe Aval, Adrien Boussicault, Sandrine Dasse-Hartaut
Dyck tableaux. Theor. Comput. Sci. 502 (2013)
Sandrine Dasse-Hartaut, Pawel Hitczenko
Greek letters in random staircase tableaux. Random Struct. Algorithms 42 (1) (2013)
Sandrine Dasse-Hartaut, Pawel Hitczenko
Some Properties of Random Staircase Tableaux. ANALCO (2011)