Research graph
References from A Continuation-Based Solution of the Linearity Challenge. Local targets link to admitted publications; unresolved targets remain external evidence.
10.1016/0304-3975(93)90181-r
10.1016/0304-3975(93)90181-r · 1993 · External reference
10.4230/lipics.types.2017.1
10.4230/lipics.types.2017.1 · External reference
10.1016/0304-3975(94)00104-9
10.1016/0304-3975(94)00104-9 · 1994 · External reference
10.1007/978-3-642-15375-4_16
10.1007/978-3-642-15375-4_16 · External reference
10.1017/s0960129514000218
10.1017/s0960129514000218 · 2016 · External reference
10.1007/978-3-031-62697-5_9
10.1007/978-3-031-62697-5_9 · External reference
10.1007/978-3-030-45237-7_17
10.1007/978-3-030-45237-7_17 · External reference
10.1016/j.entcs.2017.04.005
10.1016/j.entcs.2017.04.005 · External reference
10.1016/j.tcs.2019.02.023
10.1016/j.tcs.2019.02.023 · 2019 · External reference
10.1145/3414080.3414109
10.1145/3414080.3414109 · External reference
10.1016/j.ic.2017.06.002
10.1016/j.ic.2017.06.002 · 2017 · External reference
10.1007/3-540-44755-5_16
10.1007/3-540-44755-5_16 · External reference
10.1007/s00236-005-0177-z
10.1007/s00236-005-0177-z · 2005 · External reference
10.1017/s0956796809990268
10.1017/s0956796809990268 · 2010 · External reference
10.1017/9781009000062
10.1017/9781009000062 · 2025 · External reference
10.1017/s0960129514000231
10.1017/s0960129514000231 · 2016 · External reference
10.1145/3371074
10.1145/3371074 · 2020 · External reference
10.1007/bfb0053567
10.1007/bfb0053567 · External reference
10.1007/3-540-57208-2_35
10.1007/3-540-57208-2_35 · External reference
10.1016/j.jlamp.2024.100986
10.1016/j.jlamp.2024.100986 · 2024 · External reference
10.1145/2873052
10.1145/2873052 · 2016 · External reference
10.1145/3498662
10.1145/3498662 · 2022 · External reference
10.1145/3547638
10.1145/3547638 · 2022 · External reference
10.1145/3632889
10.1145/3632889 · 2024 · External reference
Unresolved reference
External reference
10.1007/978-3-540-40007-3_26
10.1007/978-3-540-40007-3_26 · External reference
10.1145/330249.330251
10.1145/330249.330251 · 1999 · External reference
10.1016/j.scico.2020.102440
10.1016/j.scico.2020.102440 · 2020 · External reference
10.1007/978-3-662-46669-8_23
10.1007/978-3-662-46669-8_23 · External reference
10.4204/eptcs.275.6
10.4204/eptcs.275.6 · External reference
10.2307/421090
10.2307/421090 · 1999 · External reference
Unresolved reference
External reference
10.1017/s0956796816000289
10.1017/s0956796816000289 · 2017 · External reference
Unresolved reference
External reference
10.1145/3372885.3373818
10.1145/3372885.3373818 · External reference
10.1145/3622810
10.1145/3622810 · 2023 · External reference
10.1145/3354166.3354184
10.1145/3354166.3354184 · External reference
10.4230/lipics.ecoop.2025.31
10.4230/lipics.ecoop.2025.31 · External reference
10.1016/j.ic.2012.05.002
10.1016/j.ic.2012.05.002 · 2012 · External reference
10.1017/s095679681400001x
10.1017/s095679681400001x · 2014 · External reference
10.1016/j.entcs.2018.10.014
10.1016/j.entcs.2018.10.014 · External reference
10.1145/3703595.3705888
10.1145/3703595.3705888 · External reference
10.1007/978-3-030-78089-0_9
10.1007/978-3-030-78089-0_9 · External reference
10.1007/3-540-44755-5_16
10.1007/3-540-44755-5_16 · ExternalCitation · doi-reference
10.1007/3-540-57208-2_35
10.1007/3-540-57208-2_35 · ExternalCitation · doi-reference
10.1007/978-3-030-45237-7_17
10.1007/978-3-030-45237-7_17 · ExternalCitation · doi-reference
10.1007/978-3-030-78089-0_9
10.1007/978-3-030-78089-0_9 · ExternalCitation · doi-reference
10.1007/978-3-031-62697-5_9
10.1007/978-3-031-62697-5_9 · ExternalCitation · doi-reference
10.1007/978-3-540-40007-3_26
10.1007/978-3-540-40007-3_26 · ExternalCitation · doi-reference
10.1007/978-3-642-15375-4_16
10.1007/978-3-642-15375-4_16 · ExternalCitation · doi-reference
10.1007/978-3-662-46669-8_23
10.1007/978-3-662-46669-8_23 · ExternalCitation · doi-reference
10.1007/bfb0053567
10.1007/bfb0053567 · ExternalCitation · doi-reference
10.1007/s00236-005-0177-z
10.1007/s00236-005-0177-z · ExternalCitation · doi-reference
10.1016/0304-3975(93)90181-r
10.1016/0304-3975(93)90181-r · ExternalCitation · doi-reference
10.1016/0304-3975(94)00104-9
10.1016/0304-3975(94)00104-9 · ExternalCitation · doi-reference
10.1016/j.entcs.2017.04.005
10.1016/j.entcs.2017.04.005 · ExternalCitation · doi-reference
10.1016/j.entcs.2018.10.014
10.1016/j.entcs.2018.10.014 · ExternalCitation · doi-reference
10.1016/j.ic.2012.05.002
10.1016/j.ic.2012.05.002 · ExternalCitation · doi-reference
10.1016/j.ic.2017.06.002
10.1016/j.ic.2017.06.002 · ExternalCitation · doi-reference
10.1016/j.jlamp.2024.100986
10.1016/j.jlamp.2024.100986 · ExternalCitation · doi-reference
10.1016/j.scico.2020.102440
10.1016/j.scico.2020.102440 · ExternalCitation · doi-reference
10.1016/j.tcs.2019.02.023
10.1016/j.tcs.2019.02.023 · ExternalCitation · doi-reference
10.1017/9781009000062
10.1017/9781009000062 · ExternalCitation · doi-reference
10.1017/s0956796809990268
10.1017/s0956796809990268 · ExternalCitation · doi-reference
10.1017/s095679681400001x
10.1017/s095679681400001x · ExternalCitation · doi-reference
10.1017/s0956796816000289
10.1017/s0956796816000289 · ExternalCitation · doi-reference
10.1017/s0960129514000218
10.1017/s0960129514000218 · ExternalCitation · doi-reference
10.1017/s0960129514000231
10.1017/s0960129514000231 · ExternalCitation · doi-reference
10.1145/2873052
10.1145/2873052 · ExternalCitation · doi-reference
10.1145/330249.330251
10.1145/330249.330251 · ExternalCitation · doi-reference
10.1145/3354166.3354184
10.1145/3354166.3354184 · ExternalCitation · doi-reference
10.1145/3371074
10.1145/3371074 · ExternalCitation · doi-reference
10.1145/3372885.3373818
10.1145/3372885.3373818 · ExternalCitation · doi-reference
10.1145/3414080.3414109
10.1145/3414080.3414109 · ExternalCitation · doi-reference
10.1145/3498662
10.1145/3498662 · ExternalCitation · doi-reference
10.1145/3547638
10.1145/3547638 · ExternalCitation · doi-reference
10.1145/3622810
10.1145/3622810 · ExternalCitation · doi-reference
10.1145/3632889
10.1145/3632889 · ExternalCitation · doi-reference
10.1145/3703595.3705888
10.1145/3703595.3705888 · ExternalCitation · doi-reference
10.2307/421090
10.2307/421090 · ExternalCitation · doi-reference
10.4204/eptcs.275.6
10.4204/eptcs.275.6 · ExternalCitation · doi-reference
10.4230/lipics.ecoop.2025.31
10.4230/lipics.ecoop.2025.31 · ExternalCitation · doi-reference
10.4230/lipics.types.2017.1
10.4230/lipics.types.2017.1 · ExternalCitation · doi-reference
