2944 search results - page 308 / 589 » On Well Quasi-orders on Languages |
167
click to vote
AMAI
2004
Springer
16 years 3 days ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
151
click to vote
CICLING
2004
Springer
16 years 2 days ago
2004
Springer
Qualitative variables take symbolic values, such as hot, shoe, Europe or France. Sometimes, the values may be arranged in layers or levels of detail. For instance, the variable pla...
173
click to vote
ECOOP
2004
Springer
16 years 2 days ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
195
click to vote
ER
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
192
click to vote
EWSA
2004
Springer
16 years 2 days ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...