Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

112

SAGA
2009
Springer

157views Control Systems» more SAGA 2009»

Relational Properties Expressible with One Universal Quantifier Are Testable

15 years 9 months ago

Relational Properties Expressible with One Universal Quantifier Are Testable

Download www-alg.ist.hokudai.ac.jp

Charles Jordan, Thomas Zeugmann

Real-time Traffic

Control Systems | SAGA 2009 |

claim paper

Related Content

» SyntaxDriven Private Evaluation of Quantified Membership Queries

» Bayesian Inference of the Number of Factors in GeneExpression Analysis Application to Huma...

» An interactive visualization tool to explore the biophysical properties of amino acids and...

» A FirstOrder Policy Language for HistoryBased Transaction Monitoring

» Information Distance

» From statistical knowledge bases to degrees of belief an overview

» Abstraction of Object Graphs in Program Verification

» Decidable logics combining heap structures and data

» An Axiomatization of the Token Game Based on Petri Algebras

Post Info
More Details (n/a)

Added	27 May 2010
Updated	27 May 2010
Type	Conference
Year	2009
Where	SAGA
Authors	Charles Jordan, Thomas Zeugmann

Comments (0)