Search Sciweavers | Sciweavers

26 search results - page 1 / 6

» fuin 2002

click to vote

FUIN
2002

65views more FUIN 2002»

Automata-Theoretic Decision Procedures for Information Logics

13 years 4 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ulrike Sattler

claim paper

Read More »

click to vote

FUIN
2002

74views more FUIN 2002»

Complexity of the Unique Extension Problem in Default Logic

13 years 4 months ago

Download www.dis.uniroma1.it

Xishun Zhao, Paolo Liberatore

claim paper

Read More »

click to vote

FUIN
2002

77views more FUIN 2002»

A Comparison of Different Decision Algorithms Used in Volumetric Storm Cells Classification

13 years 4 months ago

Download logic.mimuw.edu.pl

Zbigniew Suraj, James F. Peters, W. Rzqsa

claim paper

Read More »

click to vote

FUIN
2002

58views more FUIN 2002»

Relaxed Update and Partition Network Games

13 years 4 months ago

Download www.cs.uu.nl

Hans L. Bodlaender, Michael J. Dinneen, Bakhadyr K...

claim paper

Read More »

click to vote

FUIN
2002

109views more FUIN 2002»

Another Example of Higher Order Randomness

13 years 4 months ago

Download www.glyc.dc.uba.ar

We consider the notion of algorithmic randomness relative to an oracle. We prove that the probability

Verónica Becher, Gregory J. Chaitin

claim paper

Read More »

« Prev « First page 1 / 6 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers