E G Omodeo

Latest

• Hyper-Extensionality and One-Node Elimination on Membership Graphs
• {log}: A Language for Programming in Logic with Finite Sets
• Embedding Finite Sets in a Logic Programming Language
• {log}: A Logic Programming Language with Finite Sets