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

15 years 5 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

15 years 5 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

15 years 5 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

15 years 5 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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers