Matt Insall

According to our database, Matt Insall authored at least 6 papers between 1990 and 2014.

Collaborative distances:

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

2014

End compactifications and general compactifications.

Matt Insall, Peter A. Loeb, Malgorzata Aneta Marciniak

J. Log. Anal., 2014

1996

Hyperalgebraic primitive elements for relational algebraic and topological algebraic models.

Matt Insall

Stud Logica, 1996

1995

Ensuring the satisfaction of a temporal specification at run-time.

Grace Tsai, Matt Insall, Bruce M. McMillin

Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

1994

Conjugating polynomials on finite rings.

Matt Insall, L. Mullin, Ralph W. Wilkerson

Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

1991

Nonstandard Methods and Finiteness Conditions in Algebra.

Matt Insall

Math. Log. Q., 1991

1990

Some nonstandard methods applied to distributive lattices.

Mai Gehrke, Matt Insall, Klaus Kaiser

Math. Log. Q., 1990