Search results
Algebra universalis > 2018 > 79 > 4 > 1-4
Lecture Notes in Computer Science > Web Intelligence: Research and Development > Invited Talks > 61-74
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 1-15
Journal of Applied Logic > 2013 > 11 > 3 > 266-271
Advances in Mathematics > 2006 > 202 > 2 > 602-637
Linear Algebra and Its Applications > 2003 > 374 > Complete > 107-126