Abstract
No public abstract is available from the verified source records.
Ian J. Hayes, Larissa A. Meinicke, Cliff B. Jones
Abstract
Authors
Institutions
Provenance
crossref
Confidence 100%
openalex
Confidence 95%
datacite
Confidence 0%
No local reference links have been materialized yet.
No local citing links have been materialized yet.
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
10.1007/978-1-4612-1674-2
10.1007/978-1-4612-1674-2
10.1007/s002360050163
10.1007/s002360050163 · 1999
10.1007/s00165-004-0060-7
10.1007/s00165-004-0060-7 · 2005
10.1145/954587.954588
10.1145/954587.954588
Unresolved referenced work
Kept as external metadata until matched
10.1007/s00165-009-0141-8
10.1007/s00165-009-0141-8 · 2010
10.1007/s00165-011-0213-4
10.1007/s00165-011-0213-4 · 2011
10.1145/2984450.2984457
10.1145/2984450.2984457 · 2016
10.1093/logcom/exm030
10.1093/logcom/exm030 · 2007
Unresolved referenced work
Kept as external metadata until matched
10.7551/mitpress/5641.003.0016.
10.7551/mitpress/5641.003.0016.
10.1007/s00165-017-0416-4
10.1007/s00165-017-0416-4 · 2017
Unresolved referenced work
Kept as external metadata until matched
10.1145/360933.360975
10.1145/360933.360975 · 1975
Unresolved referenced work
Kept as external metadata until matched
10.1007/s001650200032
10.1007/s001650200032 · 2002
Unresolved referenced work
Kept as external metadata until matched
10.1007/978-3-540-71316-6_13
10.1007/978-3-540-71316-6_13 · 2007
10.1007/978-1-4612-5983-1
10.1007/978-1-4612-5983-1
10.1007/s00165-016-0384-0
10.1007/s00165-016-0384-0 · 2016
10.1007/978-3-319-48989-6_22
10.1007/978-3-319-48989-6_22 · 2016
10.1007/978-3-319-95582-7_13
10.1007/978-3-319-95582-7_13 · 2018
10.1007/978-3-030-31038-7_9
10.1007/978-3-030-31038-7_9 · 2019
10.1145/3801150
10.1145/3801150
10.1007/978-3-031-68279-7_9
10.1007/978-3-031-68279-7_9
Unresolved referenced work
Kept as external metadata until matched
10.48550/arxiv.2103.15292.
10.48550/arxiv.2103.15292.
10.1007/s00165-018-0464-4
10.1007/s00165-018-0464-4 · 2018
10.1145/363235.363259.
10.1145/363235.363259.
Unresolved referenced work
Kept as external metadata until matched
Unresolved referenced work
Kept as external metadata until matched
10.1145/69575.69577
10.1145/69575.69577 · 1983
Unresolved referenced work
Kept as external metadata until matched
10.1016/j.jlamp.2016.01.002
10.1016/j.jlamp.2016.01.002
10.1007/978-3-319-22969-0_1
10.1007/978-3-319-22969-0_1 · 2015
10.1109/formalise58978.2023.00019
10.1109/formalise58978.2023.00019
10.1007/978-3-031-66673-5_1
10.1007/978-3-031-66673-5_1
10.1016/0304-3975(83)90114-7
10.1016/0304-3975(83)90114-7 · 1983
10.1007/bf01211617
10.1007/bf01211617 · doi-reference
10.1007/978-3-642-11957-6_32
10.1007/978-3-642-11957-6_32 · doi-reference
10.48456/tr-774
10.48456/tr-774 · doi-reference
10.1016/j.scico.2003.09.002
10.1016/j.scico.2003.09.002 · doi-reference
10.48456/tr-726
10.48456/tr-726 · doi-reference
10.1007/3-540-54430-5_110
10.1007/3-540-54430-5_110 · doi-reference
10.48550/arxiv.2404.16624
10.48550/arxiv.2404.16624 · doi-reference
10.1007/s10472-013-9389-z
10.1007/s10472-013-9389-z · doi-reference
10.1145/3436808
10.1145/3436808 · doi-reference
10.1109/lics.2002.1029817
10.1109/lics.2002.1029817 · doi-reference
10.1007/3-540-36575-3_24
10.1007/3-540-36575-3_24 · doi-reference
10.1016/j.tcs.2006.12.035
10.1016/j.tcs.2006.12.035 · doi-reference
10.1007/3-540-45949-9
10.1007/3-540-45949-9 · doi-reference
10.1016/0304-3975(83)90114-7
10.1016/0304-3975(83)90114-7 · doi-reference
10.1007/978-3-031-66673-5_1
10.1007/978-3-031-66673-5_1 · doi-reference
10.1109/formalise58978.2023.00019
10.1109/formalise58978.2023.00019 · doi-reference
10.1007/978-3-319-22969-0_1
10.1007/978-3-319-22969-0_1 · doi-reference
10.1016/j.jlamp.2016.01.002
10.1016/j.jlamp.2016.01.002 · doi-reference
10.1145/69575.69577
10.1145/69575.69577 · doi-reference
10.1145/363235.363259.
10.1145/363235.363259. · doi-reference
10.1007/s00165-018-0464-4
10.1007/s00165-018-0464-4 · doi-reference
10.48550/arxiv.2103.15292.
10.48550/arxiv.2103.15292. · doi-reference
10.1007/978-3-031-68279-7_9
10.1007/978-3-031-68279-7_9 · doi-reference
10.1145/3801150
10.1145/3801150 · doi-reference
10.1007/978-3-030-31038-7_9
10.1007/978-3-030-31038-7_9 · doi-reference
10.1007/978-3-319-95582-7_13
10.1007/978-3-319-95582-7_13 · doi-reference
10.1007/978-3-319-48989-6_22
10.1007/978-3-319-48989-6_22 · doi-reference
10.1007/s00165-016-0384-0
10.1007/s00165-016-0384-0 · doi-reference
10.1007/978-1-4612-5983-1
10.1007/978-1-4612-5983-1 · doi-reference
10.1007/978-3-540-71316-6_13
10.1007/978-3-540-71316-6_13 · doi-reference
10.1007/s001650200032
10.1007/s001650200032 · doi-reference
10.1145/360933.360975
10.1145/360933.360975 · doi-reference
10.1007/s00165-017-0416-4
10.1007/s00165-017-0416-4 · doi-reference
10.7551/mitpress/5641.003.0016.
10.7551/mitpress/5641.003.0016. · doi-reference
10.1093/logcom/exm030
10.1093/logcom/exm030 · doi-reference
10.1145/2984450.2984457
10.1145/2984450.2984457 · doi-reference
10.1007/s00165-011-0213-4
10.1007/s00165-011-0213-4 · doi-reference
10.1007/s00165-009-0141-8
10.1007/s00165-009-0141-8 · doi-reference
10.1145/954587.954588
10.1145/954587.954588 · doi-reference
10.1007/s00165-004-0060-7
10.1007/s00165-004-0060-7 · doi-reference