: Some Results on the Deductive Structure of Join Dependencies.
Victor Y. Pan
: The Technique of Trilinear Aggregating and the Recent Progress in the Asymptotic Acceleration of Matrix Operations.
: Expressive Power of Typed and Type-Free Programming Languages.
, Amiram Yehudai
: On Test Sets for Checking Morphism Equivalence on Languages with Fair Distribution of Letters.
: Some Undecidability Results for Non-Monadic Church-Rosser Thue Systems.
Dung T. Huynh
: Deciding the Inequivalence of Context-Free Grammars with 1-Letter Terminal Alphabet is Sigma-p-2-Complete.