M. Andrew Moshier

Publication Activity (10 Years)

Years Active: 1993-2021
Publications (10 Years): 6

Top Topics

Causal Relations

Algebraic Expressions

Join Operations

Steerable Filters

Top Venues

Appl. Categorical Struct.

J. Log. Algebraic Methods Program.

Publications

Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
Semi De Morgan Logic Properly Displayed. Stud Logica 109 (1) (2021)
M. Andrew Moshier, Ales Pultr, A. L. Suarez
Exact and Strongly Exact Filters. Appl. Categorical Struct. 28 (6) (2020)
Richard N. Ball, M. Andrew Moshier, Ales Pultr
Exact Filters and Joins of Closed Sublocales. Appl. Categorical Struct. 28 (4) (2020)
Alexander Kurz, M. Andrew Moshier, Achim Jung
Stone Duality for Relations. CoRR (2019)
Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano
Multi-type Display Calculus for Semi De Morgan Logic. WoLLIC (2017)
Peter Jipsen, M. Andrew Moshier
Concurrent Kleene algebra with tests and branching automata. J. Log. Algebraic Methods Program. 85 (4) (2016)
M. Andrew Moshier, Daniela Petrisan
Algebras. CALCO (2009)
José Raymundo Marcial-Romero, M. Andrew Moshier
Sequential real number computation and recursive relations. Math. Log. Q. 54 (5) (2008)
Achim Jung, M. Andrew Moshier
A Hofmann-Mislove theorem for bitopological spaces. J. Log. Algebraic Methods Program. 76 (2) (2008)
Achim Jung, M. Andrew Moshier, Steven J. Vickers
Presenting Dcpos and Dcpo Algebras. MFPS (2008)
José Raymundo Marcial-Romero, M. Andrew Moshier
Sequential Real Number Computation and Recursive Relations. Electron. Notes Theor. Comput. Sci. 202 (2008)
Achim Jung, M. Andrew Moshier
A Hofmann-Mislove theorem for Bitopological Spaces. MFPS (2007)
M. Andrew Moshier
On the relationship between compact regularity and Gentzen's cut rule. Theor. Comput. Sci. 316 (1) (2004)
M. Andrew Moshier, Achim Jung
A Logic for Probabilities in Semantics. CSL (2002)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Stably Compact Spaces and Closed Relations. MFPS (2001)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi Lingual Sequent Calculus and Coherent Spaces. Fundam. Informaticae 37 (4) (1999)
Achim Jung, Mathias Kegelmann, M. Andrew Moshier
Multi lingual sequent calculus and coherent spaces. MFPS (1997)
M. Andrew Moshier
A Rational Reconstruction of the Domain of Feature Structures. J. Log. Lang. Inf. 4 (2) (1995)
M. Andrew Moshier
On Completeness theorems for Feature Logics. Ann. Math. Artif. Intell. 8 (1-2) (1993)