Search Sciweavers | Sciweavers

2035 search results - page 29 / 407

» On the complexity of stratified logics

click to vote

SLOGICA
2008

76views more SLOGICA 2008»

Infinitary Action Logic: Complexity, Models and Grammars

14 years 10 months ago

Download www.staff.amu.edu.pl

Wojciech Buszkowski, Ewa Palka

claim paper

Read More »

click to vote

IGPL
2000

82views more IGPL 2000»

The Computational Complexity of Hybrid Temporal Logics

14 years 10 months ago

Download www.loria.fr

Carlos Areces, Patrick Blackburn, Maarten Marx

claim paper

Read More »

Voted

FUIN
2002

74views more FUIN 2002»

Complexity of the Unique Extension Problem in Default Logic

14 years 10 months ago

Download www.dis.uniroma1.it

Xishun Zhao, Paolo Liberatore

claim paper

Read More »

click to vote

IANDC
2002

55views more IANDC 2002»

The Complexity of Propositional Linear Temporal Logics in Simple Cases

14 years 10 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Ph. Schnoebelen

claim paper

Read More »

click to vote

TCS
2002

73views Theoretical Computer Science» more TCS 2002»

Logical operations and Kolmogorov complexity

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers