Sciweavers

785 search results - page 34 / 157
» Binary Join Trees
Sort
View
CSL
2010
Springer
14 years 10 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
14 years 10 months ago
Non-blocking binary search trees
Faith Ellen, Panagiota Fatourou, Eric Ruppert, Fra...
EOR
2006
69views more  EOR 2006»
14 years 9 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»
14 years 9 months ago
Reconciliation with Non-Binary Species Trees
Benjamin Vernot, Maureen Stolzer, Aiton Goldman, D...