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