M. Andrew Moshier

Orcid: 0000-0002-1164-7884

Affiliations:
  • Chapman University, Orange, CA, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Semi De Morgan Logic Properly Displayed.
Stud Logica, 2021

2020
Exact and Strongly Exact Filters.
Appl. Categorical Struct., 2020

Exact Filters and Joins of Closed Sublocales.
Appl. Categorical Struct., 2020

2019
Stone Duality for Relations.
CoRR, 2019

2017
Multi-type Display Calculus for Semi De Morgan Logic.
Proceedings of the Logic, Language, Information, and Computation, 2017

2016
Concurrent Kleene algebra with tests and branching automata.
J. Log. Algebraic Methods Program., 2016

2009
A Duality Theorem for Real <i>C</i><sup>*</sup> Algebras.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
A Hofmann-Mislove theorem for bitopological spaces.
J. Log. Algebraic Methods Program., 2008

Presenting Dcpos and Dcpo Algebras.
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, 2008

2007
Sequential Real Number Computation and Recursive Relations.
Proceedings of the Fourth International Conference on Computability and Complexity in Analysis, 2007

2004
On the relationship between compact regularity and Gentzen's cut rule.
Theor. Comput. Sci., 2004

2002
A Logic for Probabilities in Semantics.
Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001
Stably Compact Spaces and Closed Relations.
Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001

1999
Multi Lingual Sequent Calculus and Coherent Spaces.
Fundam. Informaticae, 1999

1995
A Rational Reconstruction of the Domain of Feature Structures.
J. Log. Lang. Inf., 1995

1993
On Completeness theorems for Feature Logics.
Ann. Math. Artif. Intell., 1993


  Loading...