Carles Creus

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
One-context unification with STG-compressed terms is in NP	2020-05-27	Paper
The HOM Problem is EXPTIME-Complete 2012 27th Annual IEEE Symposium on Logic in Computer Science	2017-05-16	Paper
The HOM problem is EXPTIME-complete SIAM Journal on Computing	2016-08-16	Paper
Emptiness and finiteness for tree automata with global reflexive disequality constraints Journal of Automated Reasoning	2015-06-23	Paper
Non-linear rewrite closure and weak normalization Journal of Automated Reasoning	2015-06-23	Paper
Automatic Evaluation of Reductions between NP-Complete Problems Lecture Notes in Computer Science	2014-09-26	Paper
Tree automata with height constraints between brothers Lecture Notes in Computer Science	2014-07-24	Paper
Automatic evaluation of context-free grammars (system description) Lecture Notes in Computer Science	2014-07-24	Paper
Excessively duplicating patterns represent non-regular languages Information Processing Letters	2014-04-14	Paper
Decidable classes of tree automata mixing local and global constraints modulo flat theories Logical Methods in Computer Science	2013-06-20	Paper

Research outcomes over time

This page was built for person: Carles Creus