DOI10.1007/b95854zbMath1091.68601OpenAlexW4249053557MaRDI QIDQ5714112
Andrew Fish, John Howse
Publication date: 27 December 2005 Published in: Lecture Notes in Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/b95854
zbMATH Keywords
diagrammatic reasoningformal methodssoftware specificationconstraint diagramsVisual formalisms
Mathematics Subject Classification ID
Logic in artificial intelligence (68T27)