Tomasz A. Gorazd

According to our database, Tomasz A. Gorazd authored at least 5 papers between 1997 and 2013.

Collaborative distances:

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

2013

Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete.

Tomasz A. Gorazd, Jacek Krzaczkowski

J. Univers. Comput. Sci., 2013

2011

The complexity of problems connected with two-element algebras.

Tomasz A. Gorazd, Jacek Krzaczkowski

Reports Math. Log., 2011

2010

Term equation Satisfiability over Finite Algebras.

Tomasz A. Gorazd, Jacek Krzaczkowski

Int. J. Algebra Comput., 2010

2003

Fast Isomorphism Testing in Arithmetical Varieties.

Tomasz A. Gorazd

Int. J. Algebra Comput., 2003

1997

The Isomorphism Testing for Directly Representable Varieties.

Tomasz A. Gorazd

Reports Math. Log., 1997