31387 search results - page 21 / 6278 » Abstracts |
EWSN
2008
Springer
14 years 9 months ago
2008
Springer
CIE
2005
Springer
14 years 3 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...
PEPM
1995
ACM
14 years 1 months ago
1995
ACM
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
IJCAI
2003
13 years 11 months ago
2003
emic Logic for Arbitration (Extended Abstract)
APAL
2006
13 years 10 months ago
2006
CITY IN ABSTRACT ELEMENTARY CLASSES WITH NO MAXIMAL MODELS MONICA VANDIEREN Abstract. The results in this paper are in a context of abstract elementary classes identified by Shelah...