Research graph
References from Labelled Resolution for Classical and Non-classical Logics. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/978-94-017-2794-5
10.1007/978-94-017-2794-5 · External reference
10.1016/0743-1066(84)90029-3
10.1016/0743-1066(84)90029-3 · 1984 · External reference
10.1080/11663081.1993.10510797
10.1080/11663081.1993.10510797 · 1993 · External reference
Unresolved reference
1989 · External reference
Unresolved reference
External reference
10.1007/978-94-009-0349-4_1
10.1007/978-94-009-0349-4_1 · External reference
10.1007/978-94-009-0349-4_1
10.1007/978-94-009-0349-4_1 · External reference
10.1007/978-94-017-1616-1
10.1007/978-94-017-1616-1 · External reference
10.1016/s0049-237x(08)71685-9
10.1016/s0049-237x(08)71685-9 · External reference
Unresolved reference
External reference
Unresolved reference
1996 · External reference
