351 search results - page 16 / 71 » Nominal Equational Logic |
ICCAD
1990
IEEE
15 years 5 months ago
1990
IEEE
BIRTHDAY
2008
Springer
15 years 3 months ago
2008
Springer
53
Voted
MSCS
2002
15 years 1 months ago
2002
132
click to vote
ENTCS
2007
15 years 1 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 ...
128
click to vote
PPDP
2007
Springer
15 years 8 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...