20813 search results - page 18 / 4163 » Introduction to Computer Networking |
TCBB
2008
13 years 9 months ago
2008
IJNM
1998
13 years 9 months ago
1998
CJ
2010
13 years 7 months ago
2010
RTA
2007
Springer
14 years 4 months ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
TLCA
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...