Sciweavers

5634 search results - page 11 / 1127
» About Abstract Classes
Sort
View
APAL
2006
66views more  APAL 2006»
15 years 1 months ago
Uncountable categoricity of local abstract elementary classes with amalgamation
BLE CATEGORICITY OF LOCAL ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION JOHN T. BALDWIN AND OLIVIER LESSMANN We give a complete and elementary proof of the following upward categor...
John T. Baldwin, Olivier Lessmann
107
Voted
APAL
2006
78views more  APAL 2006»
15 years 1 months ago
Categoricity in abstract elementary classes with no maximal models
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...
Monica Van Dieren
90
Voted
CIE
2006
Springer
15 years 5 months ago
Heap-Abstraction for an Object-Oriented Calculus with Thread Classes
traction for an Object-Oriented Calculus with Thread Classes Erika
Erika Ábrahám, Andreas Grüner, ...
ICTAC
2004
Springer
15 years 7 months ago
Object Connectivity and Full Abstraction for a Concurrent Calculus of Classes
onnectivity and Full Abstraction for a Concurrent Calculus of Classes⋆ nded Abstract — Erika ´Abrah´am2 , Marcello M. Bonsangue3 , Frank S. de Boer4 , and Martin Steffen1 1 ...
Erika Ábrahám, Marcello M. Bonsangue...
100
Voted
ENDM
2007
73views more  ENDM 2007»
15 years 1 months ago
Two New Classes of Hamiltonian Graphs: (Extended Abstract)
d Abstract) Esther M. Arkin 1 Applied Mathematics and Statistics Stony Brook University Stony Brook, USA Joseph S. B. Mitchell 2 Applied Mathematics and Statistics Stony Brook Univ...
Esther M. Arkin, Joseph S. B. Mitchell, Valentin P...