Search Sciweavers | Sciweavers

290 search results - page 19 / 58

» Congruence for Structural Congruences

132

click to vote

ICTAC
2005
Springer

105views Applied Computing» more ICTAC 2005»

On Cool Congruence Formats for Weak Bisimulations

15 years 11 months ago

Download boole.stanford.edu

Rob J. van Glabbeek

claim paper

Read More »

118

click to vote

AISC
2004
Springer

106views Artificial Intelligence» more AISC 2004»

On the Combination of Congruence Closure and Completion

15 years 11 months ago

Download csis.pace.edu

Christelle Scharff, Leo Bachmair

claim paper

Read More »

121

click to vote

FOSSACS
2003
Springer

84views Software Engineering» more FOSSACS 2003»

Deriving Bisimulation Congruences: 2-Categories Vs Precategories

15 years 11 months ago

Download www.cogs.susx.ac.uk

Vladimiro Sassone, Pawel Sobocinski

claim paper

Read More »

110

click to vote

CSCW
1998
ACM

125views Social Sciences» more CSCW 1998»

Designing Groupware for Congruency in Use

15 years 10 months ago

Download www.ics.uci.edu

In this paper, we present experiences from long-term

Wolfgang Prinz, Gloria Mark, Uta Pankoke-Babatz

claim paper

Read More »

134

click to vote

ICALP
1998
Springer

129views Programming Languages» more ICALP 1998»

Checking Strong/Weak Bisimulation Equivalences and Observation Congruence for the pi-Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers