3552 search results - page 276 / 711 » Proof theory in the abstract |
198
click to vote
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
187
click to vote
LFCS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
126
Voted
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. CVC3, a joint project of NYU and U Iowa, is the new and latest version of the Cooperating Validity Checker. CVC3 extends and builds on the functionality of its predecesso...
137
click to vote
AMAST
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this work we study the unification of heterogeneous partial specifications using category theory. We propose an alternative to inn morphisms, which we call (abstract) ...
152
click to vote
ACS
2008
15 years 6 months ago
2008
Abstract Localisation is an important technique in ring theory and yields the construction of various rings of quotients. Colocalisation in comodule categories has been investigate...