Marcel Jackson

发表

Dualisability of Finite Semigroups

Marcel Jackson, 2003, Int. J. Algebra Comput..

Domain and range for angelic and demonic compositions pdf

Szabolcs Mikulás, Marcel Jackson, 2019, J. Log. Algebraic Methods Program..

SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS

Marcel Jackson, Timothy Stokes, 2009, Int. J. Algebra Comput..

All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems

Marcel Jackson, Lucy Ham, M. Jackson, 2016, CP.

Flexible constraint satisfiability and a problem in semigroup theory pdf

Marcel Jackson, 2015, ArXiv.

On the definition of a topological space

Marcel Jackson, Grant Cairns, Yury Nikolayevsky, 2008 .

Interpreting Graph Colorability in Finite Semigroups

Ralph McKenzie, Marcel Jackson, 2006, Int. J. Algebra Comput..

Flat algebras and the translation of universal Horn logic to equational logic

Marcel Jackson, M. Jackson, 2008, Journal of Symbolic Logic.

Proving Symmetries by Model Transformation

Christopher Mears, Mark Wallace, Todd Niven, 2011, CP.

Constraint Satisfaction, Irredundant Axiomatisability and Continuous Colouring

Marcel Jackson, Belinda Trotta, 2013, Stud Logica.

On the atoms of algebraic lattices arising in 픮-theory

John L. Rhodes, Benjamin Steinberg, Marcel Jackson, 2017, Int. J. Algebra Comput..

Low growth equational complexity pdf

Marcel Jackson, 2016, ArXiv.

Complexity and polymorphisms for digraph constraint problems under some basic constructions

Todd Niven, Tomasz Kowalski, Marcel Jackson, 2016, Int. J. Algebra Comput..

A finer reduction of constraint problems to digraphs

Todd Niven, Marcel Jackson, Dejan Delic, 2014, Log. Methods Comput. Sci..

Modal restriction Semigroups: towards an Algebra of Functions

Marcel Jackson, Timothy Stokes, M. Jackson, 2011, Int. J. Algebra Comput..

Todd Niven, Tomasz Kowalski, Marcel Jackson, 2013, ArXiv.

On the definition of topology — a cautionary tale

Marcel Jackson, Grant Cairns, Yury Nikolayevsky, 2008 .

Axiomatisability and hardness for universal Horn classes of hypergraphs

Marcel Jackson, Lucy Ham, M. Jackson, 2017, ArXiv.

Algebraic foundations for qualitative calculi and networks pdf

Robin Hirsch, Todd Niven, Marcel Jackson, 2016, Theor. Comput. Sci..

On Maltsev Digraphs

Todd Niven, László Egri, Marcel Jackson, 2011, Electron. J. Comb..

On the Reduction of the CSP Dichotomy Conjecture to Digraphs pdf

Todd Niven, Marcel Jackson, Dejan Delic, 2013, CP.

Well-structured program equivalence is highly undecidable pdf

Robert Goldblatt, Marcel Jackson, R. Goldblatt, 2011, TOCL.

The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion

Mikhail V. Volkov, Marcel Jackson, 2010, Fields of Logic and Computation.

Undecidability of representability as binary relations

Robin Hirsch, Marcel Jackson, M. Jackson, 2012, The Journal of Symbolic Logic.

Finitely Based, Finite Sets of Words

Marcel Jackson, Olga Sapir, 2000, Int. J. Algebra Comput..

Monoids with tests and the algebra of possibly non-halting programs pdf

Tim Stokes, Marcel Jackson, M. Jackson, 2014, J. Log. Algebraic Methods Program..

The algebra of functions with antidomain and range pdf

Szabolcs Mikulás, Robin Hirsch, Marcel Jackson, 2014, ArXiv.

Identities in the Algebra of Partial Maps

Marcel Jackson, Timothy Stokes, 2006, Int. J. Algebra Comput..

Finite Semigroups with Infinite Irredundant Identity Bases

Marcel Jackson, M. Jackson, 2005, Int. J. Algebra Comput..

Pathway dynamics can delineate the sources of transcriptional noise in gene expression

Marcel Jackson, Lucy Ham, Michael P.H. Stumpf, 2020, bioRxiv.

Nonfinitely based ai-semirings with finitely based semigroup reducts

Marcel Jackson, Miaomiao Ren, Xianzhong Zhao, 2021, Journal of Algebra.

From A to B to Z

Marcel Jackson, Wen Ting Zhang, 2021 .

Qualitative representations of chromatic algebras pdf

Tomasz Kowalski, Marcel Jackson, James Koussas, 2022, ArXiv.

Restriction in Program Algebra

Marcel Jackson, Tim Stokes, 2021 .

Undecidability of Algebras of Binary Relations

Robin Hirsch, Marcel Jackson, Ian Hodkinson, 2021 .

The axiomatizability of topological prevarieties

David M. Clark, Brian A. Davey, Jane G. Pitkethly, 2008 .

On Maltsev Digraphs

Todd Niven, László Egri, Marcel Jackson, 2015 .

Syntactic semigroups and the finite basis problem

Marcel Jackson, 2005 .

Finiteness Properties of Varieties and the Restriction to Finite Algebras

Marcel Jackson, M. Jackson, 2005 .

The Kuratowski closure-complement theorem.

Marcel Jackson, M. Jackson, B. J. Gardner, 2008 .

Semilattices with closure

Marcel Jackson, 2004 .

On locally finite varieties with undecidable equational theory

Marcel Jackson, 2002 .

Partial Maps with Domain and Range: Extending Schein's Representation

Marcel Jackson, Tim E. Stokes, 2009 .

Some Undecidable Problems on Representability as Binary Relations

Robin Hirsch, Marcel Jackson, 2012 .

The embeddability of ring and semigroup amalgams is undecidable

Marcel Jackson, 2000, Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics.

An Invitation to C-semigroups

Marcel Jackson, Tim E. Stokes, M. Jackson, 2001 .

Some undecidable embedding problems for finite semigroups

Marcel Jackson, 1999 .

Residual bounds for compact totally disconnected algebras

Marcel Jackson, M. Jackson, 2008 .

Semilattice Pseudo-complements on Semigroups

Marcel Jackson, Tim E. Stokes, 2004 .

Standard topological algebras: syntactic and principal congruences and profiniteness

David M. Clark, Brian A. Davey, Marcel Jackson, 2005 .

Relatively inherently nonfinitely q-based semigroups

Mikhail V. Volkov, Marcel Jackson, 2008 .

Natural dualities for semilattice-based algebras

Brian A. Davey, Jane G. Pitkethly, Marcel Jackson, 2007 .