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
601989
On the bitopological nature of Stone duality
A Jung, MA Moshier
School of Computer Science Research Reports-University of Birmingham CSR 13, 2006
472006
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Fundamenta Informaticae 37 (4), 369-412, 1999
401999
Presenting dcpos and dcpo algebras
A Jung, MA Moshier, S Vickers
Electronic Notes in Theoretical Computer Science 218, 209-229, 2008
292008
Stably compact spaces and closed relations
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 45, 209-231, 2001
282001
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
192017
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
Topological duality and lattice expansions, II: Lattice expansions with quasioperators
MA Moshier, P Jipsen
Algebra universalis 71 (3), 221-234, 2014
162014
A logic for probabilities in semantics
MA Moshier, A Jung
International Workshop on Computer Science Logic, 216-232, 2002
162002
Multi lingual sequent calculus and coherent spaces
A Jung, M Kegelmann, MA Moshier
Electronic Notes in Theoretical Computer Science 6, 203-220, 1997
141997
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
102004
Extensions to unification grammar for the description of programming languages, University of Michigan
M Moshier
Ann Arbor, MI, 1988
101988
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
62016
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20