Research graph
References from Synchronization of Logics. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1007/3-540-61629-2_38
10.1007/3-540-61629-2_38 · External reference
10.1016/0003-4843(74)90016-3
10.1016/0003-4843(74)90016-3 · 1974 · External reference
10.1090/conm/030/749767
10.1090/conm/030/749767 · External reference
10.1023/a:1004991115882 · 1997 · Admitted local publication
Unresolved reference
External reference
10.1007/3-540-57182-5_26
10.1007/3-540-57182-5_26 · External reference
10.1007/bf00156915
10.1007/bf00156915 · 1992 · External reference
10.1305/ndjfl/1040046087
10.1305/ndjfl/1040046087 · 1996 · External reference
10.1093/oso/9780198538592.001.0001
10.1093/oso/9780198538592.001.0001 · External reference
10.1007/978-94-009-0349-4_1
10.1007/978-94-009-0349-4_1 · External reference
10.1145/147508.147524
10.1145/147508.147524 · 1992 · External reference
Unresolved reference
External reference
10.1016/0020-0190(82)90065-5
10.1016/0020-0190(82)90065-5 · 1982 · External reference
10.1007/3-540-50325-0_3
10.1007/3-540-50325-0_3 · External reference
10.2307/2275487
10.2307/2275487 · 1991 · External reference
10.1007/978-1-4612-9839-7
10.1007/978-1-4612-9839-7 · External reference
Unresolved reference
External reference
10.1016/s0049-237x(08)70132-0
10.1016/s0049-237x(08)70132-0 · External reference
10.1007/3-540-61629-2_59
10.1007/3-540-61629-2_59 · External reference
Unresolved reference
External reference
10.2140/pjm.1955.5.285
10.2140/pjm.1955.5.285 · 1955 · External reference
10.1007/978-94-009-6259-0_3
10.1007/978-94-009-6259-0_3 · External reference
10.1093/oso/9780198537809.003.0001
10.1093/oso/9780198537809.003.0001 · External reference
10.1007/bf01257083
10.1007/bf01257083 · External reference
10.3233/fi-1988-11307
10.3233/fi-1988-11307 · 1988 · External reference
