Sciweavers

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

94

FUIN
2002

65views more FUIN 2002»

Automata-Theoretic Decision Procedures for Information Logics

15 years 2 months ago

Automata-Theoretic Decision Procedures for Information Logics

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ulrike Sattler

Real-time Traffic

FUIN 2002 |

claim paper

Related Content

» A Proof System and a Decision Procedure for Equality Logic

» Formal Verification of a Combination Decision Procedure

» Relative Nondeterministic Information Logic is EXPTIMEcomplete

» Modular Algorithms for Heterogeneous Modal Logics

» Information System for the valuation of Universities in Spain

» Description Logics in Ontology Applications

» Solving string constraints lazily

» Extracting Logic Circuit Structure from Conjunctive Normal Form Descriptions

» Reaching Agreement Through Argumentation A Possibilistic Approach

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2002
Where	FUIN
Authors	Stéphane Demri, Ulrike Sattler

Comments (0)