M. Andrew Moshier

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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 C* Algebras.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

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

Sequential Real Number Computation and Recursive Relations.
Electron. Notes Theor. Comput. Sci., 2008

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

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. Inform., 1999

1995
A Rational Reconstruction of the Domain of Feature Structures.
Journal of Logic, Language and Information, 1995

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


  Loading...