Derivatives of Regular Expressions
Journal of the ACM (JACM)
A Procedure for Checking Equality of Regular Expressions
Journal of the ACM (JACM)
On Effective Procedures for Speeding Up Algorithms
Journal of the ACM (JACM)
A Note Concerning Nondeterministic Tape Complexities
Journal of the ACM (JACM)
Elementary bounds for presburger arithmetic
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
A hierarchy for nondeterministic time complexity
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
Formal languages and their relation to automata
Formal languages and their relation to automata
Polymorphic unification and ML typing
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Turing Award lecture: it's time to reconsider time
Communications of the ACM
Simulating quadratic dynamical systems is PSPACE-complete (preliminary version)
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
The complexity of logic-based abduction
Journal of the ACM (JACM)
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
On the complexity of dataflow analysis of logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
IEEE Transactions on Software Engineering
Query containment for conjunctive queries with regular expressions
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of nonrecursive logic programs with complex values
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On algorithm design for metrical task systems
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
On the Structure of Polynomial Time Reducibility
Journal of the ACM (JACM)
A Note on Tape-Bounded Complexity Classes and Linear Context-Free languages
Journal of the ACM (JACM)
A Combinatorial Problem Which Is Complete in Polynomial Space
Journal of the ACM (JACM)
Even Simple Programs Are Hard To Analyze
Journal of the ACM (JACM)
On Equivalence and Containment Problems for Formal Languages
Journal of the ACM (JACM)
Log Space Recognition and Translation of Parenthesis Languages
Journal of the ACM (JACM)
Separating Nondeterministic Time Complexity Classes
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs
Journal of the ACM (JACM)
The Complexity of LALR(k) Testing
Journal of the ACM (JACM)
On the complexity of unique solutions
Journal of the ACM (JACM)
Information and Computation
Containment and equivalence for an XPath fragment
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Covering indexes for branching path queries
Proceedings of the 2002 ACM SIGMOD international conference on Management of data
A dynamic logic of multiprocessing with incomplete information
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Journal of Automated Reasoning
On the computational complexity of assumption-based argumentation for default reasoning
Artificial Intelligence
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
Evaluating Deadlock Detection Methods for Concurrent Software
IEEE Transactions on Software Engineering
Index Structures for Path Expressions
ICDT '99 Proceedings of the 7th International Conference on Database Theory
Typechecking Top-Down Uniform Unranked Tree Transducers
ICDT '03 Proceedings of the 9th International Conference on Database Theory
An Improved Algorithm for the Membership Problem for Extended Regular Expressions
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Classification of Security Properties (Part I: Information Flow)
FOSAD '00 Revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design on Foundations of Security Analysis and Design: Tutorial Lectures
The Membership Problem for Regular Expressions with Intersection Is Complete in LOGCFL
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
The Complexity of Membership Problems for Circuits over Sets of Natural Numbers
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Fast Algorithms for Extended Regular Expression Matching and Searching
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Model Checking Fixed Point Logic with Chop
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
A Generalized Quantifier Concept in Computational Complexity Theory
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Arithmetic Circuits and Polynomial Replacement Systems
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Implementing Reversed Alternating Finite Automaton (r-AFA) Operations
WIA '98 Revised Papers from the Third International Workshop on Automata Implementation
Beyond NP: Arc-Consistency for Quantified Constraints
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Descriptive and Parameterized Complexity
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Structured Document Transformations Based on XSL
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Dominance Constraints: Algorithms and Complexity
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Well-abstracted transition systems: application to FIFO automata
Information and Computation
A two phase optimization technique for XML queries with multiple regular path expressions
Journal of Systems and Software
On the computational complexity of bisimulation, redux
PCK50 Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
A characterization of the class of functions computable in polynomial time on Random Access Machines
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
LALR(k) testing is PSPACE-complete
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
Complexity of finitely presented algebras
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Complexity of decision problems based on finite two-person perfect-information games
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
A combinatorial problem which is complete in polynomial space
STOC '75 Proceedings of seventh annual ACM symposium on Theory of computing
Complete problems for deterministic polynomial time
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Computational parallels between the regular and context-free languages
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Comparison of polynomial-time reducibilities
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
On the complexity of the theories of weak direct products (Preliminary Report)
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
STOC '73 Proceedings of the fifth annual ACM symposium on Theory of computing
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
On time-space classes and their relation to the theory of real addition
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
The pebbling problem is complete in polynomial space
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
Universal games of incomplete information
STOC '79 Proceedings of the eleventh annual ACM symposium on Theory of computing
CCS expressions, finite state processes, and three problems of equivalence
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Complexity of argument-based default reasoning with specificity
AI Communications
Fast algorithms for revision of some special propositional knowledge bases
Journal of Computer Science and Technology
Bisimulation and language equivalence
Logic for concurrency and synchronisation
Some connections between bounded query classes and non-uniform complexity
Information and Computation
Containment and equivalence for a fragment of XPath
Journal of the ACM (JACM)
The complexity of tensor calculus
Computational Complexity
An efficient compiler for weighted rewrite rules
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
A quantifier characterization for nondeterministic log space
ACM SIGACT News
On non-erasing oracle tapes in space bounded reducibility
ACM SIGACT News
Information and Computation
A characterization of log-space computable functions
ACM SIGACT News
Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design
Minimizing finite automata is computationally hard
Theoretical Computer Science - Developments in language theory
Beyond NP: the work and legacy of Larry Stockmeyer
Proceedings of the thirty-seventh annual ACM symposium on Theory of computing
Logical verification and equational verification
ACM SIGACT News
On the complexity of typechecking top-down XML transformations
Theoretical Computer Science - Database theory
Complexity results for logics of local reasoning and inconsistent belief
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Unfolding partiality and disjunctions in stable model semantics
ACM Transactions on Computational Logic (TOCL)
Validating the result of a Quantified Boolean Formula (QBF) solver: theory and practice
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Backtracking games and inflationary fixed points
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
Inductive bases and their application to searches for minimal unary NFAs
Proceedings of the 44th annual Southeast regional conference
A rendezvous of logic, complexity, and algebra
ACM SIGACT News
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Complexity of argument-based default reasoning with specificity
AI Communications
Frontiers of tractability for typechecking simple XML transformations
Journal of Computer and System Sciences
On the minimization of XML Schemas and tree automata for unranked trees
Journal of Computer and System Sciences
The complexity of membership problems for circuits over sets of integers
Theoretical Computer Science
Generalising automaticity to modal properties of finite structures
Theoretical Computer Science
Compressing BMC Encodings with QBF
Electronic Notes in Theoretical Computer Science (ENTCS)
Minimizing nfa's and regular expressions
Journal of Computer and System Sciences
Deciding XPath containment with MSO
Data & Knowledge Engineering
Functional verification of task partitioning for multiprocessor embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Turing award lecture: it's time to reconsider time
ACM Turing award lectures
A logical framework for history-based access control and reputation systems
Journal of Computer Security
Typechecking top-down XML transformations: Fixed input or output schemas
Information and Computation
Computational Complexity of Constraint Satisfaction
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Correcting a Space-Efficient Simulation Algorithm
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
The Tractability Frontier for NFA Minimization
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
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
Nondeterministic Finite Automata--Recent Results on the Descriptional and Computational Complexity
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Antimirov and Mosses's Rewrite System Revisited
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Five Determinisation Algorithms
CIAA '08 Proceedings of the 13th international conference on Implementation and Applications of Automata
Inclusion Test Algorithms for One-Unambiguous Regular Expressions
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Succinctness of Regular Expressions with Interleaving, Intersection and Counting
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
QuBIS: An (In)complete Solver for Quantified Boolean Formulas
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings
LPAR '08 Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A new 3-CNF transformation by parallel-serial graphs
Information Processing Letters
Backdoor Sets of Quantified Boolean Formulas
Journal of Automated Reasoning
Boolean Constraint Satisfaction Problems: When Does Post's Lattice Help?
Complexity of Constraints
Generalizing consistency and other constraint properties to quantified constraints
ACM Transactions on Computational Logic (TOCL)
Descriptional and Computational Complexity of Finite Automata
LATA '09 Proceedings of the 3rd International Conference on Language and Automata Theory and Applications
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Compact Representation for Syntactic Dependencies in QBFs
SAT '09 Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing
A rendezvous of logic, complexity, and algebra
ACM Computing Surveys (CSUR)
Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
Electronic Notes in Theoretical Computer Science (ENTCS)
Functions Definable by Arithmetic Circuits
CiE '09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice
Weighted Bisimulation in Linear Algebraic Form
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Synthesis of Non-Interferent Timed Systems
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
One-Nonterminal Conjunctive Grammars over a Unary Alphabet
CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications
Pure Nash equilibria: hard and easy games
Journal of Artificial Intelligence Research
Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2
Theory and Practice of Logic Programming
Complexity results about Nash equilibria
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Variable forgetting in reasoning about knowledge
Journal of Artificial Intelligence Research
Extracting certificates from quantified boolean formulas
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Redundancy in logic I: CNF propositional formulae
Artificial Intelligence
Schema mapping discovery from data instances
Journal of the ACM (JACM)
Theoretical Computer Science
Dynamic Observers for the Synthesis of Opaque Systems
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
The parallel complexity of finite-state automata problems
Information and Computation
A note on the space complexity of some decision problems for finite automata
Information Processing Letters
Polynomial and abstract subrecursive classes
Journal of Computer and System Sciences
A characterization of the power of vector machines
Journal of Computer and System Sciences
On the equivalence, containment, and covering problems for the regular and context-free languages
Journal of Computer and System Sciences
Space-bounded reducibility among combinatorial problems
Journal of Computer and System Sciences
On tape-bounded complexity classes and multihead finite automata
Journal of Computer and System Sciences
Unary language operations and their nondeterministic state complexity
DLT'02 Proceedings of the 6th international conference on Developments in language theory
Minimizing finite automata is computationally hard
DLT'03 Proceedings of the 7th international conference on Developments in language theory
Hierarchical decision making in multi-agent systems using answer set programming
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Complexity results on balanced context-free languages
FOSSACS'07 Proceedings of the 10th international conference on Foundations of software science and computational structures
On the complexity of unary tiling-recognizable picture languages
STACS'07 Proceedings of the 24th annual conference on Theoretical aspects of computer science
Backdoor sets of quantified boolean formulas
SAT'07 Proceedings of the 10th international conference on Theory and applications of satisfiability testing
A multi-engine solver for quantified boolean formulas
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Latticed simulation relations and games
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Satisfiability of algebraic circuits over sets of natural numbers
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Succinctness of pattern-based schema languages for XML
DBPL'07 Proceedings of the 11th international conference on Database programming languages
DMTCS'03 Proceedings of the 4th international conference on Discrete mathematics and theoretical computer science
Depletable channels: dynamics and behaviour
FCT'09 Proceedings of the 17th international conference on Fundamentals of computation theory
Solving linear equations in *-continuous action lattices
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Automatic proof generation in Kleene algebra
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Succinctness of regular expressions with interleaving, intersection and counting
Theoretical Computer Science
Kleene monads: handling iteration in a framework of generic effects
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
Satisfiability of algebraic circuits over sets of natural numbers
Discrete Applied Mathematics
Optimizing the Region Algebra is PSPACE-complete
Information Processing Letters
Theoretical Computer Science
The complexity of propositional default logics
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
The complexity of node blocking for dags
Journal of Combinatorial Theory Series A
The complexity of regular(-like) expressions
DLT'10 Proceedings of the 14th international conference on Developments in language theory
An Empirical Study of QBF Encodings: from Treewidth Estimation to Useful Preprocessing
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Semantics and complexity of recursive aggregates in answer set programming
Artificial Intelligence
Univariate Equations Over Sets of Natural Numbers
Fundamenta Informaticae
Observations on complete sets between linear time and polynomial time
Information and Computation
Query-preserving watermarking of relational databases and Xml documents
ACM Transactions on Database Systems (TODS)
Descriptional and computational complexity of finite automata---A survey
Information and Computation
Succinctness of pattern-based schema languages for XML
Journal of Computer and System Sciences
Approximate Satisfiability and Equivalence
SIAM Journal on Computing
The PSPACE-Completeness of Black-White Pebbling
SIAM Journal on Computing
The set of realizations of a max-plus linear sequence is semi-polyhedral
Journal of Computer and System Sciences
Querying contract databases based on temporal behavior
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Transformations into normal forms for quantified circuits
SAT'11 Proceedings of the 14th international conference on Theory and application of satisfiability testing
Journal of Computer and System Sciences
Isomorphism of regular trees and words
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Efficient probabilistically checkable debates
APPROX'11/RANDOM'11 Proceedings of the 14th international workshop and 15th international conference on Approximation, randomization, and combinatorial optimization: algorithms and techniques
Validating QBF validity in HOL4
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Proving valid quantified Boolean formulas in HOL light
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Infinite synchronizing words for probabilistic automata
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Multi-Linear Iterative K-Σ-Semialgebras
Electronic Notes in Theoretical Computer Science (ENTCS)
Expressive Completeness for LTL With Modulo Counting and Group Quantifiers
Electronic Notes in Theoretical Computer Science (ENTCS)
Succinctness of the Complement and Intersection of Regular Expressions
ACM Transactions on Computational Logic (TOCL)
The tractability frontier for NFA minimization
Journal of Computer and System Sciences
Quantified Equality Constraints
SIAM Journal on Computing
ICDT'07 Proceedings of the 11th international conference on Database Theory
Optimizing schema languages for XML: numerical constraints and interleaving
ICDT'07 Proceedings of the 11th international conference on Database Theory
Minimizing tree automata for unranked trees
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Equivalence models for quantified boolean formulas
SAT'04 Proceedings of the 7th international conference on Theory and Applications of Satisfiability Testing
Collapsibility in infinite-domain quantified constraint satisfaction
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
A linear solution for QSAT with membrane creation
WMC'05 Proceedings of the 6th international conference on Membrane Computing
Cooperating answer set programming
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Which XML schemas admit 1-pass preorder typing?
ICDT'05 Proceedings of the 10th international conference on Database Theory
Representing paraconsistent reasoning via quantified propositional logic
Inconsistency Tolerance
Minimizing NFA's and regular expressions
STACS'05 Proceedings of the 22nd annual conference on Theoretical Aspects of Computer Science
Complementation constructions for nondeterministic automata on infinite words
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Decidable membership problems for finite recurrent systems over sets of naturals
FCT'05 Proceedings of the 15th international conference on Fundamentals of Computation Theory
The generalization of generalized automata: expression automata
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Synthesis of opaque systems with static and dynamic masks
Formal Methods in System Design
QBF modeling: exploiting player symmetry for simplicity and efficiency
SAT'06 Proceedings of the 9th international conference on Theory and Applications of Satisfiability Testing
Playing savitch and cooking games
Concurrency, Compositionality, and Correctness
The complexity of synchronous notions of information flow security
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
An efficient coq tactic for deciding kleene algebras
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Validating QBF invalidity in HOL4
ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Software protection through dynamic code mutation
WISA'05 Proceedings of the 6th international conference on Information Security Applications
Turing machines for dummies: why representations do matter
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
Bounded repairability for regular tree languages
Proceedings of the 15th International Conference on Database Theory
Computing in the fractal cloud: modular generic solvers for SAT and Q-SAT variants
TAMC'12 Proceedings of the 9th Annual international conference on Theory and Applications of Models of Computation
The Multivariate Algorithmic Revolution and Beyond
Computing resolution-path dependencies in linear time ,
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
Fundamenta Informaticae - Machines, Computations and Universality, Part II
Parsing Boolean grammars over a one-letter alphabet using online convolution
Theoretical Computer Science
Unordered constraint satisfaction games
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Well-Founded Semantics for Default Logic
Fundamenta Informaticae
The complexity of membership problems for circuits over sets of positive numbers
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Equivalence problems for circuits over sets of natural numbers
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Model theory makes formulas large
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Checking NFA equivalence with bisimulations up to congruence
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Isomorphism of regular trees and words
Information and Computation
Proceedings of the 32nd symposium on Principles of database systems
A trichotomy for regular simple path queries on graphs
Proceedings of the 32nd symposium on Principles of database systems
Simplifying XML Schema: Single-type approximations of regular tree languages
Journal of Computer and System Sciences
Bounded repairability of word languages
Journal of Computer and System Sciences
A framework for modular ERDF ontologies
Annals of Mathematics and Artificial Intelligence
Deciding the winner in k rounds for DISJOINT ARROWS, a new combinatorial partizan game
Theoretical Computer Science
The complexity of online manipulation of sequential elections
Journal of Computer and System Sciences
Limitations of acyclic causal graphs for planning
Artificial Intelligence
Hi-index | 0.02 |
The equivalence problem for Kleene's regular expressions has several effective solutions, all of which are computationally inefficient. In [1], we showed that this inefficiency is an inherent property of the problem by showing that the problem of membership in any arbitrary context-sensitive language was easily reducible to the equivalence problem for regular expressions. We also showed that with a squaring abbreviation ( writing (E)2 for E×E) the equivalence problem for expressions required computing space exponential in the size of the expressions. In this paper we consider a number of similar decidable word problems from automata theory and logic whose inherent computational complexity can be precisely characterized in terms of time or space requirements on deterministic or nondeterministic Turing machines. The definitions of the word problems and a table summarizing their complexity appears in the next section. More detailed comments and an outline of some of the proofs follows in the remaining sections. Complete proofs will appear in the forthcoming papers [9, 10, 13]. In the final section we describe some open problems.