Publication:4539604
From MaRDI portal
zbMath0988.68164MaRDI QIDQ4539604
Andrea Formisano, Marco Temperini, Eugenio Giovanni Omodeo
Publication date: 10 July 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2083/20830152
Related Items
Compiling dyadic first-order specifications into map algebra, Three-variable statements of set-pairing, A graphical representation of relational formulae with complementation, An efficient relational deductive system for propositional non-classical logics
Uses Software