Compositional diagrammatic first-order logic

statement of authorship
Nathan Haydon, Paweł Sobociński
location of publication
Cham
publisher
year of publication
pages
p. 402-418
conference name, date
11th International Conference, Diagrams 2020, August 24–28, 2020
conference location
Tallinn, Estonia
kvartiil
Q3
category (general)
ISSN
0302-9743
ISBN
978-3-030-54248-1
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
inglise
Haydon, N.J., Sobocinski, P.M. Compositional diagrammatic first-order logic // Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings. Cham : Springer, 2020. p. 402-418. (Lecture notes in computer science ; 12169, Lecture notes in artificial intelligence ; 12169). https://doi.org/10.1007/978-3-030-54249-8_32