Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ASC
2000

favoriteEmaildiscussreport

99views Artificial Intelligence» more ASC 2000»

A Sound and Complete Diagrammatic Reasoning System

13 years 5 months ago

A Sound and Complete Diagrammatic Reasoning System

Download www.it.bton.ac.uk

John Howse, Fernando Molina, John Taylor

Real-time Traffic

ASC 2000 | ASC 2006 |

claim paper

Related Content

» SD2 A Sound and Complete Diagrammatic Reasoning System

» On the Completeness and Expressiveness of Spider Diagram Systems

» Types and Tokens for Logic with Diagrams

» The Complete Proof Theory of Hybrid Systems

» Interactive Layout Generation with a Diagrammatic Constraint Language

» A Sound and Complete Calculus for Finite Stream Circuits

» Reasoning with UML Class Diagrams

» A General Framework for Sound and Complete FloydHoare Logics

» Towards a Theory of Bisimulation for Local Names

Post Info
More Details (n/a)

Added	01 Nov 2010
Updated	01 Nov 2010
Type	Conference
Year	2000
Where	ASC
Authors	John Howse, Fernando Molina, John Taylor

Comments (0)