Stanley Burris

According to our database1, Stanley Burris authored at least 22 papers between 1981 and 2013.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
The Horn theory of Boole's partial algebras.
Bulletin of Symbolic Logic, 2013

2012
Monadic second-order classes of forests with a monadic second-order 0-1 law.
Discrete Mathematics & Theoretical Computer Science, 2012

2010
Characteristic Points of Recursive Systems.
Electr. J. Comb., 2010

2008
Sufficient Conditions for Labelled 0-1 Laws.
Discrete Mathematics & Theoretical Computer Science, 2008

2006
Counting Rooted Trees: The Universal Law t(n)~C ρ-n n-3/2.
Electr. J. Comb., 2006

2004
Partition Identities I: Sandwich Theorems and Logical 0-1 Laws.
Electr. J. Comb., 2004

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

1995
Polynomial Time Uniform Word Problems.
Math. Log. Q., 1995

Spectrally determined first-order limit laws.
Proceedings of the Logic and Random Structures, 1995

1994
Decidable Varieties of Hoops.
Reports on Mathematical Logic, 1994

Model Companions with Finitely Many Countable Models.
Math. Log. Q., 1994

1993
The Equivalence Problem for Finite Rings.
J. Symb. Comput., 1993

1992
Discriminator Varieties and Symbolic Computation.
J. Symb. Comput., 1992

Small Models of the High School identities.
IJAC, 1992

1991
Decidable Discriminator Varieties from Unary Varieties.
J. Symb. Log., 1991

Term Rewrite Rules for Finite Fields.
IJAC, 1991

1990
Unification in Commutative Rings is Not Finitary.
Inf. Process. Lett., 1990

1989
Decidable Model Companions.
Math. Log. Q., 1989

1988
Bounded Obstructions, Model Companions and Amalgamation Bases.
Math. Log. Q., 1988

1987
The Model Completion of the Class of ℒ-Structures.
Math. Log. Q., 1987

1984
Model Companions for Finitely Generated Universal Horn Classes.
J. Symb. Log., 1984

1981
A course in universal algebra.
Graduate texts in mathematics 78, Springer, ISBN: 978-0-387-90578-5, 1981


  Loading...