Nominal logic programming
2008 ◽
Vol 30
(5)
◽
pp. 1-47
◽
James Cheney
◽
Christian Urban
Krzysztof R. Apt
◽
Mark Wallace
2010 ◽
Vol 21
(4)
◽
pp. 487-504
◽
Jeremy Besson
◽
Albertas Čaplinskas
2011 ◽
Vol E94-B
(8)
◽
pp. 2208-2215
Hideya OCHIAI
◽
Hiroshi ESAKI
Jack Minker
◽
Mark Weiser
John Burge
◽
Bill Noah
◽
Les Smith
1993 ◽
Vol 4
(4)
◽
pp. 192
1996 ◽
Vol 9
(4)
◽
pp. 157-206
◽
Nada Lavrač
◽
Irene Weber
◽
Darko Zupanič
◽
Dimitar Kazakov
◽
Olga Štěpánková
◽
...