Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Tomasz A. Gorazd
Jagiellonian University, Poland

T.A. Gorazd, J. Krzaczkowski:
Term Satisfiability Problem for Two-Element Algebras is in QL or is NQL-Complete
/jucs_19_10/term_satisfiability_problem_for
page 1375 - 1395
Vol.19 / Issue 10