Publication:4738387
From MaRDI portal
zbMath1051.68683MaRDI QIDQ4738387
Fergus Henderson, Zoltan Somogyi
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2304/23040197.htm
68N15: Theory of programming languages
68N20: Theory of compilers and interpreters
68U99: Computing methodologies and applications
68N17: Logic programming
Uses Software