Search Sciweavers | Sciweavers

13 search results - page 1 / 3

» mfcs 1998

click to vote

MFCS
1998
Springer

83views Theoretical Computer Science» more MFCS 1998»

The Joys of Bisimulation

13 years 8 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

click to vote

MFCS
1998
Springer

75views Theoretical Computer Science» more MFCS 1998»

On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations

13 years 8 months ago

Download www.lix.polytechnique.fr

Miki Hermann, Gernot Salzer

claim paper

Read More »

click to vote

MFCS
1998
Springer

75views Theoretical Computer Science» more MFCS 1998»

Timed Bisimulation and Open Maps

13 years 8 months ago

Download www.brics.dk

Thomas Hune, Mogens Nielsen

claim paper

Read More »

click to vote

MFCS
1998
Springer

82views Theoretical Computer Science» more MFCS 1998»

Tally NP Sets and Easy Census Functions

13 years 8 months ago

Download www.cs.uky.edu

Judy Goldsmith, Mitsunori Ogihara, Jörg Rothe

claim paper

Read More »

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers