Stanley Burris

According to our database, Stanley Burris authored at least 24 papers between 1981 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2013

The Horn theory of Boole's partial algebras.

Stanley N. Burris, Hanamantagouda P. Sankappanavar

Bull. Symb. Log., 2013

2012

Monadic second-order classes of forests with a monadic second-order 0-1 law.

Jason P. Bell, Stanley Burris, Karen A. Yeats

Discret. Math. Theor. Comput. Sci., 2012

2010

Characteristic Points of Recursive Systems.

Jason P. Bell, Stanley Burris, Karen A. Yeats

Electron. J. Comb., 2010

2009

Spectra and Systems of Equations.

Jason P. Bell, Stanley N. Burris, Karen A. Yeats

Proceedings of the Model Theoretic Methods in Finite Combinatorics, 2009

Compton's Method for Proving Logical Limit Laws.

Jason P. Bell, Stanley N. Burris

Proceedings of the Model Theoretic Methods in Finite Combinatorics, 2009

2008

Sufficient Conditions for Labelled 0-1 Laws.

Stanley Burris, Karen A. Yeats

Discret. Math. Theor. Comput. Sci., 2008

2006

Counting Rooted Trees: The Universal Law t(n)~C ρ^-n n^-3/2.

Jason P. Bell, Stanley Burris, Karen A. Yeats

Electron. J. Comb., 2006

2004

Partition Identities I: Sandwich Theorems and Logical 0-1 Laws.

Jason P. Bell, Stanley Burris

Electron. J. Comb., 2004

1996

A directly Representable Variety has a discrete First-Order Law.

Stanley Burris, Pawel M. Idziak

Int. J. Algebra Comput., 1996

1995

Polynomial Time Uniform Word Problems.

Stanley Burris

Math. Log. Q., 1995

Spectrally determined first-order limit laws.

Stanley N. Burris

Proceedings of the Logic and Random Structures, 1995

1994

Decidable Varieties of Hoops.

Stanley Burris, Isabel M. A. Ferreirim

Reports Math. Log., 1994

Model Companions with Finitely Many Countable Models.

Stanley Burris

Math. Log. Q., 1994

1993

The Equivalence Problem for Finite Rings.

Stanley Burris, John Lawrence

J. Symb. Comput., 1993

1992

Discriminator Varieties and Symbolic Computation.

Stanley Burris

J. Symb. Comput., 1992

Small Models of the High School identities.

Stanley Burris, Simon Lee

Int. J. Algebra Comput., 1992

1991

Decidable Discriminator Varieties from Unary Varieties.

Stanley Burris, Ralph McKenzie, Matthew Valeriote

J. Symb. Log., 1991

Term Rewrite Rules for Finite Fields.

Stanley Burris, John Lawrence

Int. J. Algebra Comput., 1991

1990

Unification in Commutative Rings is Not Finitary.

Stanley Burris, John Lawrence

Inf. Process. Lett., 1990

1989

Decidable Model Companions.

Stanley Burris

Math. Log. Q., 1989

1988

Bounded Obstructions, Model Companions and Amalgamation Bases.

Michael H. Albert, Stanley Burris

Math. Log. Q., 1988

1987

The Model Completion of the Class of ℒ-Structures.

Stanley Burris

Math. Log. Q., 1987

1984

Model Companions for Finitely Generated Universal Horn Classes.

Stanley Burris

J. Symb. Log., 1984

1981

A course in universal algebra.

Stanley Burris, Hanamantagouda P. Sankappanavar

Graduate texts in mathematics 78, Springer, ISBN: 978-0-387-90578-5, 1981