Research graph
References from Consistency Proofs for Axiomatic Extensions: Translating VerCors’ Axiomatic Data Types Into Isabelle. Local targets link to admitted publications; unresolved targets remain external evidence.
10.5281/zenodo.19960874
10.5281/zenodo.19960874 · External reference
10.1007/978-3-642-13977-2_4
10.1007/978-3-642-13977-2_4 · 2010 · External reference
10.1007/978-3-031-65630-9_1
10.1007/978-3-031-65630-9_1 · External reference
Unresolved reference
External reference
10.1007/978-3-540-71067-7_15
10.1007/978-3-540-71067-7_15 · 2008 · External reference
10.1007/3-540-44898-5_4
10.1007/3-540-44898-5_4 · 2003 · External reference
10.1007/978-3-031-98668-0_6
10.1007/978-3-031-98668-0_6 · External reference
10.1007/978-3-319-91908-9_18
10.1007/978-3-319-91908-9_18 · 2019 · External reference
10.1007/978-3-030-61487-4_18
10.1007/978-3-030-61487-4_18 · External reference
10.1017/cbo9780511810275
10.1017/cbo9780511810275 · External reference
10.1007/3-540-48256-3_11
10.1007/3-540-48256-3_11 · 1999 · External reference
10.1145/3158112
10.1145/3158112 · External reference
10.1109/ecbs.1997.581900
10.1109/ecbs.1997.581900 · External reference
10.1007/978-3-642-00593-0_16
10.1007/978-3-642-00593-0_16 · 2009 · External reference
10.1093/oso/9780198537465.003.0004
10.1093/oso/9780198537465.003.0004 · External reference
10.1109/mc.1993.274940
10.1109/mc.1993.274940 · 1993 · External reference
Unresolved reference
2002 · External reference
10.1098/rspa.2017.0872
10.1098/rspa.2017.0872 · External reference
Unresolved reference
External reference
10.1201/9780203749456
10.1201/9780203749456 · External reference
Unresolved reference
External reference
Unresolved reference
External reference
10.1145/3759251
10.1145/3759251 · External reference
10.1007/978-3-031-50521-8_9
10.1007/978-3-031-50521-8_9 · External reference
Unresolved reference
External reference
10.1007/3-540-44898-5_4
10.1007/3-540-44898-5_4 · ExternalCitation · doi-reference
10.1007/3-540-48256-3_11
10.1007/3-540-48256-3_11 · ExternalCitation · doi-reference
10.1007/978-3-030-61487-4_18
10.1007/978-3-030-61487-4_18 · ExternalCitation · doi-reference
10.1007/978-3-031-50521-8_9
10.1007/978-3-031-50521-8_9 · ExternalCitation · doi-reference
10.1007/978-3-031-65630-9_1
10.1007/978-3-031-65630-9_1 · ExternalCitation · doi-reference
10.1007/978-3-031-98668-0_6
10.1007/978-3-031-98668-0_6 · ExternalCitation · doi-reference
10.1007/978-3-319-91908-9_18
10.1007/978-3-319-91908-9_18 · ExternalCitation · doi-reference
10.1007/978-3-540-71067-7_15
10.1007/978-3-540-71067-7_15 · ExternalCitation · doi-reference
10.1007/978-3-642-00593-0_16
10.1007/978-3-642-00593-0_16 · ExternalCitation · doi-reference
10.1007/978-3-642-13977-2_4
10.1007/978-3-642-13977-2_4 · ExternalCitation · doi-reference
10.1017/cbo9780511810275
10.1017/cbo9780511810275 · ExternalCitation · doi-reference
10.1093/oso/9780198537465.003.0004
10.1093/oso/9780198537465.003.0004 · ExternalCitation · doi-reference
10.1098/rspa.2017.0872
10.1098/rspa.2017.0872 · ExternalCitation · doi-reference
10.1109/ecbs.1997.581900
10.1109/ecbs.1997.581900 · ExternalCitation · doi-reference
10.1109/mc.1993.274940
10.1109/mc.1993.274940 · ExternalCitation · doi-reference
10.1145/3158112
10.1145/3158112 · ExternalCitation · doi-reference
10.1145/3759251
10.1145/3759251 · ExternalCitation · doi-reference
10.1201/9780203749456
10.1201/9780203749456 · ExternalCitation · doi-reference
10.5281/zenodo.19960874
10.5281/zenodo.19960874 · ExternalCitation · doi-reference
