290 search results - page 23 / 58 » Congruence for Structural Congruences |
DM
2000
14 years 9 months ago
2000
ENTCS
2002
14 years 9 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
TCS
1998
14 years 9 months ago
1998
SOCO
2008
Springer
14 years 9 months ago
2008
Springer
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...