351 search results - page 16 / 71 » Nominal Equational Logic |
ICCAD
1990
IEEE
15 years 3 months ago
1990
IEEE
59
Voted
BIRTHDAY
2008
Springer
15 years 1 months ago
2008
Springer
MSCS
2002
14 years 11 months ago
2002
111
click to vote
ENTCS
2007
14 years 11 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
108
click to vote
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...