Sciweavers

4190 search results - page 152 / 838
» Type Class Directives
Sort
View
STACS
2009
Springer
15 years 10 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk
135
Voted
ISAAC
2005
Springer
93views Algorithms» more  ISAAC 2005»
15 years 9 months ago
Representation of Graphs by OBDDs
Abstract. In this paper, the space requirements for the OBDD representation of certain graph classes, specifically cographs, several types of graphs with few P4s, unit interval gr...
Robin Nunkesser, Philipp Woelfel
114
Voted
CSL
2004
Springer
15 years 3 months ago
A Bounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of -regular languages. The class has two equivalent descrip...
Mikolaj Bojanczyk
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 7 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
DASFAA
1993
IEEE
127views Database» more  DASFAA 1993»
15 years 8 months ago
An Object-Centered Data Model for Engineering Design Databases
: Entities in engineering design databases need to evolve in both structure and behavior. Such a need is not well addressed by object-oriented data models based on the class concep...
Huibin Zhao, Alexandros Biliris