Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract)

Authors:
Miki Hermann;Phokion G. Kolaitis
Affiliations:
-;-
Venue:
MFCS '95 Proceedings of the 20th International Symposium on Mathematical Foundations of Computer Science
Year:
1995

Citing 0
Cited 3

Single Elementary Associative-Commutative Matching

Journal of Automated Reasoning
On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System

LPAR '99 Proceedings of the 6th International Conference on Logic Programming and Automated Reasoning
Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract