A note on proofs with graphs

DOI10.1016/j.scico.2008.08.002zbMath1178.68386OpenAlexW1975629096MaRDI QIDQ955713

Petrucio Viana, Renata P. de Freitas

Publication date: 20 November 2008

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2008.08.002

zbMATH Keywords

completenessgraphsdecidabilityrelational calculusgraphical reasoning

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Theory of programming languages (68N15)

Related Items

Set Venn diagrams applied to inclusions and non-inclusions