3719 search results - page 45 / 744 » order 2010 |
MMAS
2010
Springer
13 years 4 months ago
2010
Springer
One of the main applications in plasma physics concerns the energy production through thermo-nuclear fusion. The controlled fusion requires the confinement of the plasma into a bo...
CSL
2010
Springer
13 years 11 months ago
2010
Springer
d Abstract) Thomas Schwentick and Thomas Zeume TU Dortmund University The finite satisfiability problem for two-variable logic over structures with unary relations and two order re...
LATA
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
PADL
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...