Sciweavers

39 search results - page 2 / 8
» On Rational Trees
Sort
View
DLT
2008
13 years 6 months ago
Construction of Tree Automata from Regular Expressions
Abstract. Since recognizable tree languages are closed under the rational operations, every regular tree expression denotes a recognizable tree language. We provide an alternative ...
Dietrich Kuske, Ingmar Meinecke
CRITIS
2006
13 years 9 months ago
Rational Choice of Security Measures Via Multi-parameter Attack Trees
Ahto Buldas, Peeter Laud, Jaan Priisalu, Märt...
IPL
2006
76views more  IPL 2006»
13 years 5 months ago
Fraction interpolation walking a Farey tree
We present an algorithm to find a proper fraction in simplest reduced terms between two reduced proper fractions. A proper fraction is a rational number m/n with
Marc Mosko, J. J. Garcia-Luna-Aceves
CORR
2004
Springer
151views Education» more  CORR 2004»
13 years 5 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occ...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...