Free variable tableaux for a logic with term declarations
ISSN: 0302-9743, 1611-3349
ISBN: 9783540644064
Year of publication: 1998
Volume: 1397 LNAI
Pages: 202-216
Type: Conference paper
ISSN: 0302-9743, 1611-3349
ISBN: 9783540644064
Year of publication: 1998
Volume: 1397 LNAI
Pages: 202-216
Type: Conference paper