labelled deductive systems
Recently Published Documents
TOTAL DOCUMENTS
10
(FIVE YEARS 0)
H-INDEX
3
(FIVE YEARS 0)
2015 ◽
Vol 8
(4)
◽
pp. 649-661
◽
Keyword(s):
1999 ◽
Vol 9
(1)
◽
pp. 63-80
◽
Keyword(s):
1994 ◽
Vol 13
(2)
◽
pp. 243-281
◽