Search Sciweavers | Sciweavers

33 search results - page 1 / 7

» fsttcs 2004

click to vote

FSTTCS
2004
Springer

77views Software Engineering» more FSTTCS 2004»

Representable Disjoint NP-Pairs

13 years 10 months ago

Download www.informatik.hu-berlin.de

Olaf Beyersdorff

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Alternation in Equational Tree Automata Modulo XOR

13 years 10 months ago

Download www2.cs.tum.edu

Kumar Neeraj Verma

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

91views Software Engineering» more FSTTCS 2004»

Adjunct Elimination Through Games in Static Ambient Logic

13 years 10 months ago

Download www.cl.cam.ac.uk

Anuj Dawar, Philippa Gardner, Giorgio Ghelli

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

89views Software Engineering» more FSTTCS 2004»

Actively Learning to Verify Safety for FIFO Automata

13 years 10 months ago

Download osl.cs.uiuc.edu

Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...

claim paper

Read More »

click to vote

FSTTCS
2004
Springer

82views Software Engineering» more FSTTCS 2004»

Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers