3552 search results - page 143 / 711 » Proof theory in the abstract |
156
click to vote
ICISC
2004
15 years 7 months ago
2004
Abstract. The XL (eXtended Linearization) equation-solving algorithm belongs to the same extended family as the advanced Gr
167
click to vote
FMSD
2006
15 years 6 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
117
click to vote
JSYML
2006
15 years 6 months ago
2006
Abstract. We characterise strongly minimal groups interpretable in elementary extensions of compact complex analytic spaces.
179
click to vote
FOIKS
2004
Springer
15 years 11 months ago
2004
Springer
State Machines: An Overview of the Project Yuri Gurevich Microsoft Research, One Microsoft Way, Redmond, WA 98052 November 2003 This is an extended abstract of an invited talk at ...
183
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...