Stanley Burris

Publication Activity (10 Years)

Years Active: 1984-2012
Publications (10 Years): 0

Top Topics

Datalog Queries

Deductive Databases

Top Venues

Discret. Math. Theor. Comput. Sci.

Publications

Jason P. Bell, Stanley Burris, Karen A. Yeats
Monadic second-order classes of forests with a monadic second-order 0-1 law. Discret. Math. Theor. Comput. Sci. 14 (1) (2012)
Jason P. Bell, Stanley Burris, Karen A. Yeats
Characteristic Points of Recursive Systems. Electron. J. Comb. 17 (1) (2010)
Stanley Burris, Karen A. Yeats
Sufficient Conditions for Labelled 0-1 Laws. Discret. Math. Theor. Comput. Sci. 10 (1) (2008)
Jason P. Bell, Stanley Burris, Karen A. Yeats
. Electron. J. Comb. 13 (1) (2006)
Jason P. Bell, Stanley Burris
Partition Identities I: Sandwich Theorems and Logical 0-1 Laws. Electron. J. Comb. 11 (1) (2004)
Stanley Burris, Pawel M. Idziak
A directly Representable Variety has a discrete First-Order Law. Int. J. Algebra Comput. 6 (3) (1996)
Stanley Burris
Polynomial Time Uniform Word Problems. Math. Log. Q. 41 (1995)
Stanley Burris, Isabel M. A. Ferreirim
Decidable Varieties of Hoops. Reports Math. Log. 28 (1994)
Stanley Burris
Model Companions with Finitely Many Countable Models. Math. Log. Q. 40 (1994)
Stanley Burris, John Lawrence
The Equivalence Problem for Finite Rings. J. Symb. Comput. 15 (1) (1993)
Stanley Burris, Simon Lee
Small Models of the High School identities. Int. J. Algebra Comput. 2 (2) (1992)
Stanley Burris
Discriminator Varieties and Symbolic Computation. J. Symb. Comput. 13 (2) (1992)
Stanley Burris, Ralph McKenzie, Matthew Valeriote
Decidable Discriminator Varieties from Unary Varieties. J. Symb. Log. 56 (4) (1991)
Stanley Burris, John Lawrence
Term Rewrite Rules for Finite Fields. Int. J. Algebra Comput. 1 (3) (1991)
Stanley Burris, John Lawrence
Unification in Commutative Rings is Not Finitary. Inf. Process. Lett. 36 (1) (1990)
Stanley Burris
Decidable Model Companions. Math. Log. Q. 35 (3) (1989)
Michael H. Albert, Stanley Burris
Bounded Obstructions, Model Companions and Amalgamation Bases. Math. Log. Q. 34 (2) (1988)
Stanley Burris
The Model Completion of the Class of ℒ-Structures. Math. Log. Q. 33 (4) (1987)
Stanley Burris
Model Companions for Finitely Generated Universal Horn Classes. J. Symb. Log. 49 (1) (1984)