Search Sciweavers | Sciweavers

655 search results - page 32 / 131

» Automata, Logic, and XML

142

click to vote

TIME
2005
IEEE

111views Automated Reasoning» more TIME 2005»

An XML-Based Framework for Temporal Database Implementation

15 years 11 months ago

Download www.csie.ntu.edu.tw

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

claim paper

Read More »

131

click to vote

CSL
2007
Springer

111views Automated Reasoning» more CSL 2007»

Model-Checking First-Order Logic: Automata and Locality

16 years 10 days ago

Download www.cl.cam.ac.uk

Anuj Dawar

claim paper

Read More »

116

click to vote

WIA
2005
Springer

64views Artificial Intelligence» more WIA 2005»

Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic

15 years 11 months ago

Download web.informatik.uni-bonn.de

Joachim Klein, Christel Baier

claim paper

Read More »

136

click to vote

ICALP
2010
Springer

121views Programming Languages» more ICALP 2010»

Pebble Weighted Automata and Transitive Closure Logics

15 years 11 months ago

Download www.lsv.ens-cachan.fr

Benedikt Bollig, Paul Gastin, Benjamin Monmege, Ma...

claim paper

Read More »

160

click to vote

STACS
1998
Springer

105views Theoretical Computer Science» more STACS 1998»

Local Normal Forms for First-Order Logic with Applications to Games and Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers