Sciweavers

655 search results - page 32 / 131
» Automata, Logic, and XML
Sort
View
TIME
2005
IEEE
15 years 3 months ago
An XML-Based Framework for Temporal Database Implementation
This paper presents an XML-based approach to implementing the parametric model of temporal databases. In the parametric model, attribute values are functions of time and the entir...
Seo-Young Noh, Shashi K. Gadia
64
Voted
ICALP
2010
Springer
15 years 2 months ago
Pebble Weighted Automata and Transitive Closure Logics
Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...
80
Voted
STACS
1998
Springer
15 years 1 months ago
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Thomas Schwentick, Klaus Barthelmann