Search Sciweavers | Sciweavers

2273 search results - page 10 / 455

» On the Expressiveness and Complexity of ATL

click to vote

PODS
2007
ACM

120views Database» more PODS 2007»

Expressiveness and complexity of xml publishing transducers

15 years 9 months ago

Download homepages.inf.ed.ac.uk

Wenfei Fan, Floris Geerts, Frank Neven

claim paper

Read More »

click to vote

LICS
2008
IEEE

103views Automated Reasoning» more LICS 2008»

On the Expressiveness and Complexity of Randomization in Finite State Monitors

15 years 4 months ago

Download www.cs.uiuc.edu

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

click to vote

COCO
1997
Springer

81views Algorithms» more COCO 1997»

Complexity and Expressive Power of Logic Programming

15 years 1 months ago

Download cs.roosevelt.edu

Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andre...

claim paper

Read More »

Voted

LCC
1994

193views Algorithms» more LCC 1994»

Expressing Computational Complexity in Constructive Type Theory

15 years 1 months ago

Download ce.sharif.edu

Robert L. Constable

claim paper

Read More »

click to vote

LICS
1990
IEEE

81views Automated Reasoning» more LICS 1990»

Real-time Logics: Complexity and Expressiveness

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers