Sciweavers

5255 search results - page 52 / 1051

» Formal Methods for Privacy

22

AFP
2008
Springer

229views Formal Methods» more AFP 2008»

From Reduction-Based to Reduction-Free Normalization

14 years 4 months ago

From Reduction-Based to Reduction-Free Normalization

Download www.brics.dk

Olivier Danvy

claim paper

Read More »

30

AGTIVE
2007
Springer

267views Formal Methods» more AGTIVE 2007»

The Graph Rewriting Language and Environment PROGRES

14 years 4 months ago

The Graph Rewriting Language and Environment PROGRES

Download www.se.rwth-aachen.de

Ulrike Ranger, Erhard Weinell

claim paper

Read More »

26

AGTIVE
2007
Springer

228views Formal Methods» more AGTIVE 2007»

GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool

14 years 4 months ago

GrGen.NET: A Fast, Expressive, and General Purpose Graph Rewrite Tool

Download www.info.uni-karlsruhe.de

Rubino Geiß, Moritz Kroll

claim paper

Read More »

26

AGTIVE
2007
Springer

225views Formal Methods» more AGTIVE 2007»

Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD

14 years 4 months ago

Applications and Rewriting of Omnigraphs - Exemplified in the Domain of MDD

Download www.ipd.uka.de

Oliver Denninger, Tom Gelhausen, Rubino Geiß

claim paper

Read More »

23

ICFCA
2007
Springer

101views Formal Methods» more ICFCA 2007»

Lattices of Relatively Axiomatizable Classes

14 years 4 months ago

Lattices of Relatively Axiomatizable Classes

Download www.philosophy.nsc.ru

Dmitry E. Pal'chunov

claim paper

Read More »

« Prev « First page 52 / 1051 Last » Next »