M. Andrew Moshier

According to our database, M. Andrew Moshier authored at least 16 papers between 1993 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Semi De Morgan Logic Properly Displayed.

Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano

Stud Logica, 2021

2020

Exact and Strongly Exact Filters.

M. Andrew Moshier, Ales Pultr, Anna Laura Suarez

Appl. Categorical Struct., 2020

Exact Filters and Joins of Closed Sublocales.

Richard N. Ball, M. Andrew Moshier, Ales Pultr

Appl. Categorical Struct., 2020

2019

Stone Duality for Relations.

Alexander Kurz, M. Andrew Moshier, Achim Jung

CoRR, 2019

2017

Multi-type Display Calculus for Semi De Morgan Logic.

Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano

Proceedings of the Logic, Language, Information, and Computation, 2017

2016

Concurrent Kleene algebra with tests and branching automata.

Peter Jipsen, M. Andrew Moshier

J. Log. Algebraic Methods Program., 2016

2009

A Duality Theorem for Real <i>C</i>^* Algebras.

M. Andrew Moshier, Daniela Petrisan

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Presenting Dcpos and Dcpo Algebras.

Achim Jung, M. Andrew Moshier, Steven J. Vickers

Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007

Sequential Real Number Computation and Recursive Relations.

José Raymundo Marcial-Romero, M. Andrew Moshier

Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

A Hofmann-Mislove theorem for Bitopological Spaces.

Achim Jung, M. Andrew Moshier

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

2004

On the relationship between compact regularity and Gentzen's cut rule.

M. Andrew Moshier

Theor. Comput. Sci., 2004

2002

A Logic for Probabilities in Semantics.

M. Andrew Moshier, Achim Jung

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Stably Compact Spaces and Closed Relations.

Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

1999

Multi Lingual Sequent Calculus and Coherent Spaces.

Achim Jung, Mathias Kegelmann, M. Andrew Moshier

Fundam. Informaticae, 1999

1995

A Rational Reconstruction of the Domain of Feature Structures.

M. Andrew Moshier

J. Log. Lang. Inf., 1995

1993

On Completeness theorems for Feature Logics.

M. Andrew Moshier

Ann. Math. Artif. Intell., 1993