Information and Computation
Theoretical Computer Science - Mathematical foundations of computer science 2004
Computational Universality in One-variable Language Equations
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Language equations with complementation: Decision problems
Theoretical Computer Science
Locally stratified Boolean grammars
Information and Computation
On the Computational Completeness of Equations over Sets of Natural Numbers
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Information and Computation
Decision problems for language equations
Journal of Computer and System Sciences
On language equations XXK = XXL and XM = N over a unary alphabet
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Language equations with complementation: Expressive power
Theoretical Computer Science
On the expressive power of univariate equations over sets of natural numbers
Information and Computation
Language equations with complementation
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Equations x+a=b and (x+x)+c=(x−x)+d over sets of natural numbers
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Computational Universality in One-variable Language Equations
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Conjunctive grammars over a unary alphabet: undecidability and unbounded growth
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
On the role of complementation in implicit language equations and relations
Journal of Computer and System Sciences
| Hi-index | 5.23 |