Publication:2762628
From MaRDI portal
zbMath0976.03517MaRDI QIDQ2762628
Jean-Pierre Jouannaud, Ralf Treinen
Publication date: 9 January 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2002/20020001
03B70: Logic in computer science
Uses Software