2944 search results - page 189 / 589 » On Well Quasi-orders on Languages |
147
click to vote
SIGMOD
2003
ACM
16 years 6 months ago
2003
ACM
We provide a concise yet complete formal definition of the semantics of XPath 1 and summarize efficient algorithms for processing queries in this language. Our presentation is int...
157
click to vote
CP
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. This article presents a database of about 200 graph invariants for deriving systematically necessary conditions from the graph properties based representation of global c...
142
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...
154
click to vote
MFCS
2004
Springer
15 years 12 months ago
2004
Springer
We consider the decidability of existence of solutions to language equations involving the operations of shuffle and deletion along trajectories. These operations generalize the o...
145
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
: This paper presents an overview on the workshop on Specification and Validation of Real-time and embedded Systems that has taken place for the second time in association with the...