Grobner--Shirshov Bases, Conformal Algebras, and Pseudo-algebras

By Bokut' L.   Kolesnikov P.  

Journal of Mathematical Sciences, Vol. 131, Iss. 5, 2005-12 ,pp. : 5962-6003

Springer Publishing Company

Access to resources Recommend Favorite

Grobner bases of certain zero-dimensional ideals arising in coding theory

By Ohsugi H.   Ikegami D.   Kitamura T.   Hibi T.  

Advances in Applied Mathematics, Vol. 31, Iss. 2, 2003-08 ,pp. : 420-432

Elsevier

Access to resources Recommend Favorite

Proof systems and transformation games

By Bachrach Yoram  

Annals of Mathematics and Artificial Intelligence, Vol. 67, Iss. 1, 2013-01 ,pp. : 1-30

Springer Publishing Company

Access to resources Recommend Favorite

Model checking LTL with regular valuations for pushdown systems

By Esparza J.   Kucera A.   Schwoon S.  

Information and Computation, Vol. 186, Iss. 2, 2003-11 ,pp. : 355-376

Elsevier

Access to resources Recommend Favorite

Consistency checking reduced to satisfiability of concepts in terminological systems

By Hollunder B.  

Annals of Mathematics and Artificial Intelligence, Vol. 18, Iss. 2-4, 1997-01 ,pp. : 133-157

Springer Publishing Company

Access to resources Recommend Favorite