877 search results - page 9 / 176 » Structural Cut Elimination |
AMAI
1999
Springer
13 years 7 months ago
1999
Springer
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. Jer
TCS
2008
13 years 7 months ago
2008
Density elimination, a close relative of cut elimination, consists of removing applications of the Takeuti-Titani density rule from derivations in Gentzen-style (hypersequent) cal...
ASPDAC
2007
ACM
13 years 11 months ago
2007
ACM
While the covering algorithm has been perfected recently by the iterative approaches, such as DAOmap and IMap, its application has been limited to technology mapping. The main fact...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...