full record print

Compositional diagrammatic first-order logic

author
statement of authorship
Nathan Haydon, Paweł Sobociński
source
location of publication
Cham
publisher
year of publication
pages
p. 402-418
series
conference name, date
11th International Conference, Diagrams 2020, August 24–28, 2020
conference location
Tallinn, Estonia
url
name of the person
ISSN
0302-9743
ISBN
978-3-030-54248-1
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
Reserch Group
Laboratory for compositional systems and methods
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