Follow
M. Andrew Moshier
M. Andrew Moshier
Professor Mathematics and Computer Science
Verified email at chapman.edu
Title
Cited by
Cited by
Year
Extensions to unification grammar for the description of programming languages
MA Moshier
University of Michigan, 1988
671988
On the bitopological nature of Stone duality
A Jung, MA Moshier
School of Computer Science Research Reports-University of Birmingham CSR 13, 2006
522006
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Fundamenta Informaticae 37 (4), 369-412, 1999
481999
Topological duality and lattice expansions, I: A topological construction of canonical extensions
MA Moshier, P Jipsen
Algebra universalis 71, 109-126, 2014
44*2014
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
332001
Presenting dcpos and dcpo algebras
A Jung, MA Moshier, S Vickers
Electronic Notes in Theoretical Computer Science 218, 209-229, 2008
282008
Concurrent Kleene algebra with tests and branching automata
P Jipsen, MA Moshier
Journal of Logical and Algebraic Methods in Programming 85 (4), 637-652, 2016
262016
Multi-type display calculus for semi De Morgan logic
G Greco, F Liang, MA Moshier, A Palmigiano
Logic, Language, Information, and Computation: 24th International Workshop …, 2017
252017
Topological duality and lattice expansions, II: Lattice expansions with quasioperators
MA Moshier, P Jipsen
Algebra universalis 71, 221-234, 2014
202014
A logic for probabilities in semantics
MA Moshier, A Jung
Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual …, 2002
202002
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 6, 203-220, 1997
151997
HVAC component model libraries for equation-based solvers
EF Sowell, MA Moshier
Proceedings of the Building Simulation 95, 1995
141995
Sequential real number computation and recursive relations
JR Marcial‐Romero, MA Moshier
Mathematical Logic Quarterly 54 (5), 492-507, 2008
132008
On the relationship between compact regularity and Gentzen's cut rule
MA Moshier
Theoretical computer science 316 (1-3), 113-136, 2004
132004
Is HPSG featureless or unprincipled?
MA Moshier
Linguistics and Philosophy, 669-695, 1997
131997
A relational category of formal contexts
MA Moshier
Preprint, 2016
112016
The domain of set-valued feature structures
MA Moshier, CJ Pollard
Linguistics and Philosophy 17, 607-631, 1994
111994
Using SPARK as a Solver for Modelica
M Wetter, P Haves, MA Moshier, EF Sowell
Lawrence Berkeley National Lab.(LBNL), Berkeley, CA (United States), 2008
92008
Graph-theoretic methods in simulation using SPARK
FE Sowell, MA Moshier, P Haves, D Curtil
Proceedings of the High Performance Computing Symposium of the Advanced …, 2004
92004
The US/EKS: Advances in the SPANK-based Energy Kernel System
F Buhl, E Erdem, JM Nataf, FC Winkelmann, M Moshier, E Sowell
91990
The system can't perform the operation now. Try again later.
Articles 1–20