Search Sciweavers | Sciweavers

852 search results - page 27 / 171

» entcs 2010

click to vote

ENTCS
2002

85views more ENTCS 2002»

Coinductive Counting: Bisimulation in Enumerative Combinatorics

14 years 10 months ago

Download www.cs.indiana.edu

Jan J. M. M. Rutten

claim paper

Read More »

click to vote

ENTCS
2002

58views more ENTCS 2002»

From Parity Games to Circular Proofs

14 years 10 months ago

Download www.cmi.univ-mrs.fr

Luigi Santocanale

claim paper

Read More »

click to vote

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

14 years 10 months ago

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

click to vote

ENTCS
2002

67views more ENTCS 2002»

Well-behaved Translations between Structural Operational Semantics

14 years 10 months ago

Download scfdb.tokyo.jst.go.jp

Hiroshi Watanabe

claim paper

Read More »

click to vote

ENTCS
2002

77views more ENTCS 2002»

A Call Abstraction for Component Coordination

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers