Search Sciweavers | Sciweavers

108 search results - page 7 / 22

» iandc 2006

click to vote

IANDC
2010

45views more IANDC 2010»

Models of active learning in group-structured state spaces

14 years 10 months ago

Download www.ualberta.ca

Gábor Bartók, Csaba Szepesvár...

claim paper

Read More »

click to vote

IANDC
2006

67views more IANDC 2006»

Decision procedures for term algebras with integer constraints

14 years 12 months ago

Download theory.stanford.edu

Ting Zhang, Henny B. Sipma, Zohar Manna

claim paper

Read More »

Voted

IANDC
2006

69views more IANDC 2006»

Logics of communication and change

14 years 12 months ago

Download www.illc.uva.nl

Johan van Benthem, Jan van Eijck, Barteld P. Kooi

claim paper

Read More »

click to vote

IANDC
2007

62views more IANDC 2007»

Unfolding semantics of graph transformation

14 years 11 months ago

Download www.math.unipd.it

Paolo Baldan, Andrea Corradini, Ugo Montanari, Lei...

claim paper

Read More »

click to vote

IANDC
2000

64views more IANDC 2000»

Bisimilarity in Term Graph Rewriting

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers