290 search results - page 23 / 58 » Congruence for Structural Congruences |
92
Voted
ENTCS
2002
15 years 16 days 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...
45
Voted
TCS
1998
15 years 11 days ago
1998
86
Voted
SOCO
2008
Springer
15 years 6 days ago
2008
Springer
93
Voted
FOSSACS
2009
Springer
15 years 7 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...