Sciweavers

5634 search results - page 11 / 1127
» About Abstract Classes
Sort
View
APAL
2006
66views more  APAL 2006»
14 years 10 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
APAL
2006
78views more  APAL 2006»
14 years 10 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
CIE
2006
Springer
15 years 2 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 3 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...
73
Voted
ENDM
2007
73views more  ENDM 2007»
14 years 10 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...