M. Andrew Moshier
According to our database^{1},
M. Andrew Moshier
authored at least 13 papers
between 1993 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at andrej.com
On csauthors.net:
Bibliography
2019
Stone Duality for Relations.
CoRR, 2019
2017
Multitype 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 HofmannMislove 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