M. Andrew Moshier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2002–2017
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | WoLLIC | Multi-type Display Calculus for Semi De Morgan Logic. | Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano |
| 2009 | CALCO | A Duality Theorem for Real | M. Andrew Moshier, Daniela Petrisan |
| 2002 | CSL | A Logic for Probabilities in Semantics. | M. Andrew Moshier, Achim Jung |