M. Andrew Moshier
M. Andrew Moshier
Professor Mathematics and Computer Science
E-mail confirmado em chapman.edu
Título
Citado por
Citado por
Ano
Extensions to unification grammar for the description of programming languages
MA Moshier
University of Michigan, 1988
651988
On the bitopological nature of Stone duality
A Jung, MA Moshier
School of Computer Science Research Reports-University of Birmingham CSR 13, 2006
492006
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Fundamenta Informaticae 37 (4), 369-412, 1999
451999
Presenting dcpos and dcpo algebras
A Jung, MA Moshier, S Vickers
Electronic Notes in Theoretical Computer Science 218, 209-229, 2008
302008
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
302001
Topological duality and lattice expansions, I: A topological construction of canonical extensions
MA Moshier, P Jipsen
Algebra universalis 71 (2), 109-126, 2014
262014
Multi-type display calculus for semi De Morgan logic
G Greco, F Liang, MA Moshier, A Palmigiano
International workshop on logic, language, information, and computation, 199-215, 2017
242017
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
172016
A logic for probabilities in semantics
MA Moshier, A Jung
International Workshop on Computer Science Logic, 216-232, 2002
172002
Topological duality and lattice expansions, II: Lattice expansions with quasioperators
MA Moshier, P Jipsen
Algebra universalis 71 (3), 221-234, 2014
162014
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 6, 203-220, 1997
151997
Is HPSG featureless or unprincipled?
MA Moshier
Linguistics and Philosophy, 669-695, 1997
131997
HVAC component model libraries for equation-based solvers
EF Sowell, MA Moshier
Proceedings of the Building Simulation 95, 1995
131995
Sequential real number computation and recursive relations
JR Marcial‐Romero, MA Moshier
Mathematical Logic Quarterly 54 (5), 492-507, 2008
122008
On the relationship between compact regularity and Gentzen's cut rule
MA Moshier
Theoretical computer science 316 (1-3), 113-136, 2004
112004
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 domain of set-valued feature structures
MA Moshier, CJ Pollard
Linguistics and Philosophy 17 (6), 607-631, 1994
91994
The US/EKS: Advances in the SPANK-based Energy Kernel System
F Buhl, E Erdem, JM Nataf, FC Winkelmann, M Moshier, E Sowell
91990
A relational category of formal contexts
MA Moshier
Preprint, 2016
72016
A Duality Theorem for Real C* Algebras
MA Moshier, D Petrişan
International Conference on Algebra and Coalgebra in Computer Science, 284-299, 2009
72009
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20