Frithjof Dau
in English
XSome notes on proofs with alpha graphs
2006
in: Conceptual structures: inspiration and application, Dordrecht : Springer
Types and tokens for logic with diagrams
2004
in: Conceptual structures at work, Dordrecht : Springer
in English
XSome notes on proofs with alpha graphs
2006
in: Conceptual structures: inspiration and application, Dordrecht : Springer
Types and tokens for logic with diagrams
2004
in: Conceptual structures at work, Dordrecht : Springer