Marcel Jackson

	2011
12		Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace: Proving Symmetries by Model Transformation. CP 2011: 591-605
11		Catarina Carvalho, László Egri, Marcel Jackson, Todd Niven: On Maltsev Digraphs. CSR 2011: 181-194
10		Robert Goldblatt, Marcel Jackson: Well structured program equivalence is highly undecidable CoRR abs/1103.1433: (2011)
9		Marcel Jackson, Timothy Stokes: Modal restriction Semigroups: towards an Algebra of Functions. IJAC 21(7): 1053-1095 (2011)
	2010
8		Marcel Jackson, Mikhail V. Volkov: The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion. Fields of Logic and Computation 2010: 414-443
	2009
7		Marcel Jackson, Timothy Stokes: SEMIGROUPS WITH if-then-else AND HALTING PROGRAMS. IJAC 19(7): 937-961 (2009)
	2008
6		Marcel Jackson: Flat algebras and the translation of universal Horn logic to equational logic. J. Symb. Log. 73(1): 90-128 (2008)
	2006
5		Marcel Jackson, Ralph McKenzie: Interpreting Graph Colorability in Finite Semigroups. IJAC 16(1): 119-140 (2006)
4		Marcel Jackson, Timothy Stokes: Identities in the Algebra of Partial Maps. IJAC 16(6): 1131-1160 (2006)
	2005
3		Marcel Jackson: Finite Semigroups with Infinite Irredundant Identity Bases. IJAC 15(3): 405-422 (2005)
	2003
2		Marcel Jackson: Dualisability of Finite Semigroups. IJAC 13(4): 481-497 (2003)
	2000
1		Marcel Jackson, Olga Sapir: Finitely Based, Finite Sets of Words. IJAC 10(6): 683-708 (2000)

Coauthor Index

1	Catarina Carvalho	[11]
2	László Egri	[11]
3	Robert Goldblatt	[10]
4	Ralph McKenzie	[5]
5	Christopher Mears	[12]
6	Todd Niven	[11] [12]
7	Olga Sapir	[1]
8	Timothy Stokes	[4] [7] [9]
9	Mikhail V. Volkov	[8]
10	Mark Wallace (Mark G. Wallace)	[12]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page