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 10 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 10 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 10 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 10 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 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers