Publication:4707736
From MaRDI portal
zbMath1012.03043MaRDI QIDQ4707736
Publication date: 11 June 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2407/24070105.htm
03B70: Logic in computer science