TY  - GEN
N2  - This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
DO  - 10.1007/978-3-030-86205-3
DO  - doi
AB  - This book constitutes the refereed proceedings of the 13th International Symposium on Frontiers of Combining Systems, FroCoS 2021, held in Birmingham, UK, in September 2021.
T1  - Frontiers of combining systems :13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
AU  - Konev, Boris,
AU  - Reger, Giles,
VL  - 12941
CN  - QA9.A1
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 1439323
KW  - Logic, Symbolic and mathematical
KW  - Computer science
KW  - Logique symbolique et mathématique
KW  - Informatique
SN  - 9783030862053
SN  - 3030862054
TI  - Frontiers of combining systems :13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-86205-3
UR  - https://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-86205-3
ER  -