Search Sciweavers | Sciweavers

13306 search results - page 194 / 2662

» Theoretical Computer Science

142

click to vote

MFCS
1998
Springer

62views Theoretical Computer Science» more MFCS 1998»

Spatial and Temporal Refinement of Typed Graph Transformation Systems

15 years 10 months ago

Download www.dsi.uniroma1.it

Martin Große-Rhode, Francesco Parisi-Presicc...

claim paper

Read More »

152

click to vote

RTA
1998
Springer

120views Theoretical Computer Science» more RTA 1998»

Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic

15 years 10 months ago

Download www.coli.uni-saarland.de

The system FT

Martin Müller, Joachim Niehren

claim paper

Read More »

158

click to vote

FOCS
1994
IEEE

101views Theoretical Computer Science» more FOCS 1994»

On Rank vs. Communication Complexity

15 years 10 months ago

Download www.math.ias.edu

This paper concerns the open problem of Lov

Noam Nisan, Avi Wigderson

claim paper

Read More »

143

click to vote

RTA
1993
Springer

76views Theoretical Computer Science» more RTA 1993»

More Problems in Rewriting

15 years 10 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Will...

claim paper

Read More »

130

click to vote

RTA
1995
Springer

78views Theoretical Computer Science» more RTA 1995»

Problems in Rewriting III

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers