 | 2009 |
|---|
| 13 |       | M. Andrew Moshier,
Daniela Petrisan:
A Duality Theorem for Real C* Algebras.
CALCO 2009: 284-299 |
| 2008 |
|---|
| 12 | | J. Raymundo Marcial-Romero,
M. Andrew Moshier:
Sequential Real Number Computation and Recursive Relations.
Electr. Notes Theor. Comput. Sci. 202: 171-189 (2008) |
| 11 | | Achim Jung,
M. Andrew Moshier,
Steven J. Vickers:
Presenting Dcpos and Dcpo Algebras.
Electr. Notes Theor. Comput. Sci. 218: 209-229 (2008) |
| 10 | | Achim Jung,
M. Andrew Moshier:
A Hofmann-Mislove theorem for bitopological spaces.
J. Log. Algebr. Program. 76(2): 161-174 (2008) |
| 9 | | J. Raymundo Marcial-Romero,
M. Andrew Moshier:
Sequential real number computation and recursive relations.
Math. Log. Q. 54(5): 492-507 (2008) |
| 2007 |
|---|
| 8 | | Achim Jung,
M. Andrew Moshier:
A Hofmann-Mislove theorem for Bitopological Spaces.
Electr. Notes Theor. Comput. Sci. 173: 159-175 (2007) |
| 2004 |
|---|
| 7 | | M. Andrew Moshier:
On the relationship between compact regularity and Gentzen's cut rule.
Theor. Comput. Sci. 316(1): 113-136 (2004) |
| 2002 |
|---|
| 6 | | M. Andrew Moshier,
Achim Jung:
A Logic for Probabilities in Semantics.
CSL 2002: 216-231 |
| 2001 |
|---|
| 5 | | Achim Jung,
Mathias Kegelmann,
M. Andrew Moshier:
Stably Compact Spaces and Closed Relations.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 1999 |
|---|
| 4 |  | Achim Jung,
Mathias Kegelmann,
M. Andrew Moshier:
Multi Lingual Sequent Calculus and Coherent Spaces.
Fundam. Inform. 37(4): 369-412 (1999) |
| 1997 |
|---|
| 3 | | Achim Jung,
Mathias Kegelmann,
M. Andrew Moshier:
Multi lingual sequent calculus and coherent spaces.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1995 |
|---|
| 2 | | M. Andrew Moshier:
A Rational Reconstruction of the Domain of Feature Structures.
Journal of Logic, Language and Information 4(2): 111-143 (1995) |
| 1993 |
|---|
| 1 | | M. Andrew Moshier:
On Completeness theorems for Feature Logics.
Ann. Math. Artif. Intell. 8(1-2): 175-213 (1993) |
