2008 |
12 | EE | J. Raymundo Marcial-Romero,
M. Andrew Moshier:
Sequential Real Number Computation and Recursive Relations.
Electr. Notes Theor. Comput. Sci. 202: 171-189 (2008) |
11 | EE | Achim Jung,
M. Andrew Moshier,
Steven J. Vickers:
Presenting Dcpos and Dcpo Algebras.
Electr. Notes Theor. Comput. Sci. 218: 209-229 (2008) |
10 | EE | Achim Jung,
M. Andrew Moshier:
A Hofmann-Mislove theorem for bitopological spaces.
J. Log. Algebr. Program. 76(2): 161-174 (2008) |
9 | EE | J. Raymundo Marcial-Romero,
M. Andrew Moshier:
Sequential real number computation and recursive relations.
Math. Log. Q. 54(5): 492-507 (2008) |
2007 |
8 | EE | Achim Jung,
M. Andrew Moshier:
A Hofmann-Mislove theorem for Bitopological Spaces.
Electr. Notes Theor. Comput. Sci. 173: 159-175 (2007) |
2004 |
7 | EE | M. Andrew Moshier:
On the relationship between compact regularity and Gentzen's cut rule.
Theor. Comput. Sci. 316(1): 113-136 (2004) |
2002 |
6 | EE | M. Andrew Moshier,
Achim Jung:
A Logic for Probabilities in Semantics.
CSL 2002: 216-231 |
2001 |
5 | EE | 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 | EE | 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) |