Sciweavers

785 search results - page 34 / 157
» Binary Join Trees
Sort
View
CSL
2010
Springer
15 years 5 months ago
Graded Computation Tree Logic with Binary Coding
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...
Alessandro Bianco, Fabio Mogavero, Aniello Murano
PODC
2010
ACM
15 years 4 months ago
Non-blocking binary search trees
Faith Ellen, Panagiota Fatourou, Eric Ruppert, Fra...
EOR
2006
69views more  EOR 2006»
15 years 4 months ago
Bounds for the price of a European-style Asian option in a binary tree model
Huguette Reynaerts, Michèle Vanmaele, Jan D...
JCB
2008
75views more  JCB 2008»
15 years 4 months ago
Reconciliation with Non-Binary Species Trees
Benjamin Vernot, Maureen Stolzer, Aiton Goldman, D...